Истинностное значениеОценкой пропозициональных переменных называется функция из множества всех пропозициональных переменных в множество {0, 1} (т.е. множество истинностных значений). Основной задачей логики высказываний является установление истинностного значения формулы, если дана оценка (т.е. определены истинностные значения входящих в неё переменных). Истинностное значение формулы в таком случае определяется индуктивно (с шагами, которые использовались при построении формулы) с использованием таблиц истинности связок. Оценка отрицания
Значение двуместных логических связок
Тождественно истинные формулы (тавтологии) Формула является тождественно истинной, если она истинна при любых значениях входящих в неё переменных. Вот несколько широко известных примеров тождественно истинных формул логики высказываний: Законы де Моргана: 1) 2) Закон контрапозиции:
Законы поглощения: 1) 2) Законы дистрибутивности: 1) 2)
|
задаётся таблицей:
(импликация), 
(дизъюнкция) и 
(конъюнкция) определяются так:
;
;
;
;
;
;
.
