, , , , () (-), , . ( ) , . . . . ( ) . : 1) (); 2) (). () . , , , . () . , , , . . , (). : , . , . , , . , , . , , .
39.- , . - , . ( ; ; ):
1. ( ) , , , : (), (q); () ( ) / (q). , . : p→q, / q
2. ( ) , , , : (), (q); (-q) ( ) / , (-) ( ). p→q, ┐q / ┐
( ; ):
1. : p→q, ┐ / ┐q
2. : p→q, q /
, ; (≡q), : ( ) , , .
|
|
40. , . - : (), (q). (q), (r) / (), (r). , , , . (q) () (r): (p→q) ٨ (q→r) / p→r. : .
. , . :
(), (q). (q), , , ()
(), , , ()
, (q), , , (). (q) () (). .
: .
, , . , . .