Задание 1. В исчислении L1п. II построить вывод следующих формул: № варианта 1. ; 2

В исчислении L₁ п. II построить вывод следующих формул:

№ варианта
1.	;
2.	;
3.	;
4.	;
5.	;
6.	;
7.

Пользуясь теоремой дедукции построить вывод следующих формул:

№ варианта
8.
9.
10.
11.
12.

Доказать, что в исчислении высказываний L₂.

.

Доказать, что в исчислении L₄ имеют место следующие утверждения:

Доказать, что в исчислении L₅ справедливыутверждения.

Доказать, что в исчислении L₆ справедливыутверждения.