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

Логіка висловлювань починається з пропозіціональних змінних, атомних одиниць, які представляють конкретні пропозиції. Формула складається з пропозіціональних змінних, пов'язаних логічними зв'язками, так що істина в цілому може однозначно виводиться з істинності чи хибності кожної змінної. Оцінка є функцією, яка присвоює кожному пропозіціональну змінну або T (істини) або F (для брехні). Так, наприклад, за допомогою пропозіціональних змінних A і B, двійкові зв'язки <math>\lor</math> і <math>\land</math>, що представляють диз'юнкціїюнкцію і кон'юнкціїюнкцію відповідно, і унарний сполучник <math>\lnot</math>, що представляє [[заперечення]], наступна формула може бути отримана::<math>(A \land B) \lor (\lnot A) \lor (\lnot B)</math>. Оцінку тут необхідно призначити кожному з А і В або Т або F. Але незалежно від того, як це призначення зроблено, загальна формула не вийде такою. Бо, якщо перше з'єднання <math>(A \land B)</math> не задовольняє певної оцінки, то один з А і B.