. ( , .) , .. . , , , , , .
. .
v . A B , A B. , : , . :
, , , . :
) (), (q).
(q).
-------------------------------------------------------------------------
().
) - (), (r).
(r).
-------------------------------------------------------------------------
().
, ) , ). , , , , , , (q r), (( q)Ù q), (( r)Ù r). ,
(q r) (((p q) Ù q) ((p r) Ù r))
( ).
.
v , , . , . , , , , , , .
|
|
v , . . , , , - .
v , , , . , , , , , , , - , .
v , . , . , , , , .
v . , , .
:
1. , (q r) (((p q) Ù q) ((p r) Ù r)) , , , q r, (p q) Ù q (p r) Ù r) , , (p q) Ù q (p r) Ù r.
2. :
a) , , , -, . , .
b) , , , , . , .