. . ( ) . .
: , ( ) (). , . . . . . .
. . . .
(). . . , . ,
. , . ; . , .
III.
. . . .
. . - .
. / , . .
() . . . . .
. : , , , . : modus ponens, modus tollens, , . ( ).
: (, , ), (, ).
IV.
. : , ( ); , - .
. : , , , " ".
. . . . (). .
. . : . - : (modus ponens), (modus tollens). - . - : - - .
V.
. . . . . . . , . - . .