Математическая логика и теория алгоритмов

(DPvg ; (2)LPVE; (3)Pvl Q- ( 4 ) l P v l 6 ; 5': ( 5 ) 6 из (1) и (2); (6)P из(1)и(3); (7) EVIS из (1) и (4); (8) P V IP из (1) и (4); (9)S v l 6 из (2) и (3); (10)P V 1 P из (2) и (3); ( II )1 P из (2) и (4); (12)1 б из (3) и (4); 5^; (13)Pv6 из(1)и(7); (14)PVE из(1)и(8); (15)Pv6 из (1) и (9); (16)Pve из (1) и (10); (17)0 из (1)и(]1); (18) P из (1) и (12); (19)0 из (2) и (6); ( 20 ) l Pv e из (2) и (7); (21 )1 P V S из (2) и (8); (22) IPV6 из (2) и (9); (23) IPV6 из (2) и (10); (24) 1P из (2) и (12); (25) P из (3) и (5); ( 26 )Pv l 6 из (3) и (7); ( 2 7 ) Pv l 6 из (3) и (8); ( 28 )Pv l 6 из (3) и (9); ( 2 9 ) Pv l 6 из (3) и (10); ( 30 ) 16 из (3) и (11); 95