Логіка висловлювань починається з пропозіціональних змінних, атомних одиниць, які представляють конкретні пропозиції. Формула складається з пропозіціональних змінних, пов'язаних логічними зв'язками, так, що істина може в цілому може однозначно виводиться з істинності чи хибності кожної змінної. Оцінка є функцією, яка присвоює кожномукожній пропозіціональнупропозіціональній зміннузмінні або 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> не задовольняє певноїпевну оцінкиоцінку.
