Тавтологія (логіка): відмінності між версіями
[неперевірена версія] | [неперевірена версія] |
Вилучено вміст Додано вміст
Немає опису редагування |
Немає опису редагування |
||
Рядок 8:
Тавтологія є ключове поняття в [[Логіка|логіці]] висловлювань, де тавтологія визначається як пропозіціональна формула, що вірна при будь-якій можливій булевій оцінки його пропозіціональних змінних. Ключовою властивістю тавтології в логіці висловлювань, що є ефективним методом для тестування чи існує ця формула завжди виконується (або, що еквівалентно, чи є його заперечення нездійсненна).
Визначення тавтологію може бути продовжений до вироків в логіці {{
== Історія ==
|