Задание 2. Доказать, что формула В – логическое следствие посылок

Доказать, что формула В – логическое следствие посылок .

№ варианта	Формулы:
1.	, , ;
2.	, , ;
3.	, , ;
4.	, , ;
5.	, , .

Выяснить, является ли формула В логическим следствием посылок .

№ варианта	Формулы:
6.	, ,
7.	, ,
8.	, ,
9.	, ,
10.	, , ,
11.	, , ;
12.	, , ;
13.	, , , ;
14.	, , ;
15.	, , .

Найдите все следствия из посылок:

№ варианта	Формулы:
16.	, ;
17.	, ;
18.	, ;
19.	, ;
20.	, ;
21.	, ,
22.	, ;
23.	, ;
24.	, , ;
25.	, , .