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

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

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

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

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

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

.

№ варианта
13.	формула II + III = IIIII выводима
14.	формула I + I = I не выводима

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

№ варианта
15.	А → (B → C) | — B → (A → C)
16.	А→ (B → C),А,В| — C
17.	А→В| — С∨А→С∨В
18.	| — (А→В) →((С→А)→(С→В))
19.	С→А, А→В| — С→В
20.	| — В→(В→С)
21.	| — В→В→С

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

№ варианта
22.	А→В,В→С| — (С&А)
23.	| — (А&А)
24.	| — А→А
25.	| — (А&В)→(В→ А)

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

№ варианта
26.	| — (А→В) →((С→А)→(С→В))
27.	С→А, А→В| — С→В
28.	| — В→(В→С)
29.	| — В→В→С