Взаимодействие формул следования со сложением и умножением

(x+y)’=x+y+1;

(xy)’=xy+1

s’=s+1

xy’=xy+x; x*0’=x*1=x; x*0’=x=x*0+x

Пусть xy’=xy+x

Для xy’’=x*(y’)’=xy’+x=xy+x+x; xy’’=xy+x+x

Определение формулы алгебры высказываний

Таблицы истинности для формул алгебры высказываний

Законы равносильности формул в алгебре высказываний

Полнота систем логических связок

Конъюнктивные и дизъюнктивные нормальные формы связок

Система аксиом исчисления высказываний

7. Лемма A-->A.

Понятие вывода в исчислении высказываний

9. Лемма A-->(B-->C), B выводится A -->C

10. Лемма A-->B,B-->C выводится A-->C