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

Для з'ясування того, чи є дана формула тавтологією, в алгебрі висловлювань є простий спосіб — побудова [[Таблиця істинності|таблиці істинності]]. В обчисленні висловлювань, тавтологіями є аксіоми (точніше — схеми аксіом), а також всі формули, які можна отримувати з відомих тавтологіютавтологій за допомогою заданих правил виведення (найчастіше це [[Modus ponens]] і правило підстановки). Перевірка, чи є дана формула в численні висловів тавтологією, більш складна, а також залежить від системи аксіом і доступних правил виводу.