В пропозициональной форме
пропозициональная буква
имеет значение "истина" (И).
Тогда пропозициональная форма имеет значение "истина", если истинностные значения букв
и
удовлетворяют условию:
буквы
и
имеют разные (противоположные) истинностные значения
буквы
и
имеют любые истинностные значения
ни при каких истинностных значениях букв
и
заданная форма значения "истина" не имеет
буквы
и
имеют одинаковые истинностные значения