(true, false). Следовательно, истинность высказываний выражается через логические величины.
Логическая
константа: ИСТИНА или ЛОЖЬ. Логическая переменная: символически обозначенная логическая величина. Если A,B,X,Y и пр. — переменные логические величины, то это значит, что они могут принимать значения только ИСТИНА или ЛОЖЬ.
Логическое выражение — простое или сложное высказывание. Сложное высказывание строится из простых с помощью логических операций (связок).