Тавтологія (логіка): відмінності між версіями

Визначення тавтологію може бути продовжений до вироків в логіці {{Нп5|Предикат|предикатів||Predicate (mathematical logic)|}}, які можуть містить кванторів, на відміну від пропозицій логіки висловлювань. В логіці висловлювань, немає жодної різниці між тавтологією і логічно дійсною формулою. В контексті логіки предиката, багато авторів визначають, що тавтологія є пропозиція, яка може бути отримана шляхом прийняття тавтології з логіки висловлювань та рівномірної заміни кожного пропозіціональному змінну першого порядку формули (одна формула за висловлювань змінної). Безліч таких формул власне підмножина безліч логічно допустимих пропозицій з логіки предикатів (, які є тверджень, які істинні в кожної моделі).