Математическая логика и теория алгоритмов. Для изучающих компьютерные науки

{A)^v^Q; (5)6 S': (6)P (J)Qv^Q {8)Pv^ i9)Qy^Q {\0)Pv^ ( 1 1 ) ^ (12)^6 из(1)и(2); из(1)и(3); из(1)и(4); из(1)и(4); из (2) и (3); из (2) и (3); из (2) и (4); из (3) и (4); S': (U)PvQ из(1)и(7); iU)PvQ из(1)и(8); (15) vQ из(1)и(9); {\6)PvQ из (1) и (10); (17)6 из (1) и (11); (18) из (1) и (12); (19) Q из (2) и (6); (20) ^vQ из (2) и (7); (21) ^vQ из (2) и (8); {22) ^vQ из (2) и (9); (23) из (2) и (10); (24) из (2) и (12); {25) Р из (3) и (5); {2e)Pv^Q из(3)и(7); {21)Pv^Q из(3)и(8); {2^)Pv^Q из(3)и(9); {29) Pv^Q из (3) и (10); (30)->6 из (3) и (11); (31)-р из (4) и (5); (32) из (4) и (6); (33) ^ V - 6 из (4) и (7); (34) ^ V из (4) и (8); (35) из (4) и (9); (36) - 6 из (4) и (10); (37)6 из (5) и (7); (38)6 из (5) и (9);