В алгебре высказываний суждениям (простым высказываниям) ставятся в соответствие логические переменные, обозначаемые прописными буквами латинского алфавита.
Рассмотрим два простых высказывания:
А = «Два умножить на два равно четырем». В = «Два умножить на два равно пяти».