.
, , , . . . .
, . (D) , (Q) . D : (P) , (Q), .
D:
1) ;
2) ;
3) P Q.
. 2.1 , , . . 2.1 : , . .
. 2.1.
. (). , . , , . . , , , . , , , , .
. ,
? , , . , , , , .
-. . , , (. 2.2). , .
. 2.2.
. 2.2, , .
, (. 2.3).
, , . , , , . .
, . , . .
. 2.3.