до цього правила. Прикладом правила, що не є ефективним у цьому сенсі, є нескінченномісне ω-правило[en]. До популярних правил висновування у логіці висловлювань...

Машина висно́вування — програма, яка робить логічні висновки з попередньо побудованої бази фактів і правил згідно з законами формальної логіки. Правила продукційної...

або аксіоми, правила висновування, або обидва як правила перетворення логічних виразів[en] у системі. В той час як правило висновування завжди застосовується...

Правило резолюцій — це правило висновування, що сходить до методу доказу теорем через пошук протиріч; використовується в логіці висловлювань і логіці...

Статисти́чне висно́вування (англ. statistical inference) — це процес застосування аналізу даних для встановлення властивостей розподілу ймовірностей,...

отриманні додаткових свідчень[en] або інформації застосовують правило Баєса. Баєсове висновування є важливим прийомом у статистиці, особливо в математичній...

Аксіоми Армстронга — множина аксіом (або, точніше, правил висновування), що використовуються для висновування всіх функціональних залежностей у реляційній базі...

modus ponens навів Льюїс Керрол: «Що Черепаха сказала Ахіллові». Правило висновування Список латинських висловів Список логічних символів Modus operandi...

SLD-resolution, Selective Linear Definite clause resolution) — це елементарне правило висновування, що застосовується в логічному програмуванні. Воно є вдосконаленням...

Запере́чення як відмо́ва (англ. negation as failure, NAF) — це немонотонне правило висновування в логічному програмуванні, що застосовується для виведення n o t...

рівні. Правила де Моргана були названі на честь британського математика Ауґустуса де Моргана (1806—1871), який застосував формальну версію правил до класичної...