, , -, , : , ; , ; , , . , : , . : . , . , XX .:
, .
, . , , .
, , . - . , , , , . , - . : , . , , , :
, .
. , . . A, B. :
( -> ). , , . , , , . , , - ( modus ponens, ): .
. , . , , , . :
, . , - :
: ; : , , .
, , , : . , , . , , , . . , , , . : , .
, ; .
5) , - . 5 : 3 2 . , . , , . , . , , , .
, , : ! . ?