1.
. . . . : (), , , , , .
2.
. : , . . . - . . . . . . . . . - .
3.
. : , , , , . . . : , , , . . , . (, ), , . ( ). . . . . . . .
4.
. . : , ( ) ( ). : . ( ) ( ). . : , , , . . ( ). , , (), (), . . : , .
5. . : .
5.1. . . : , , . . . . , . . . .
|
|
: modus ponens, modus tollens, , , , , , .
: , , , , , , , , .
. . . .
. . , . . . . . . , , . : , - . . . .
5.2 () . : , , . . . . : , , . . . - . - : ( ) . - . - (, - .. ). ( ). : . ( ). .
6.
. , "". . : , ( ). . .
. : . .
7.
: , . : (). . . . . : , , , , . , . : . : - , - , .