, , -, , : , ; , ; , , . , : , . : . , . , XX .:
, .
, .
, , .
:
(), ().
(), ().
, (), ().
, (), , , (). () () (). .
:
É
É
É
: .
:
, .
, , .
:
É
~B É ~A
-
, , - . - . , , , , . , - . : , . , , , :
, .
.
, .
. , - . :
|
|
É
, , - . , , , . , , - ( modus ponens, ): .
. , . , , , . :
É
~
~
- (modus tollens).
, . , - [1]:
: ; : - , , .
, , , : . , , . , , , . . , , , . : , .
, - ; - ,
- . -, , . :
(), (~).
().
, (~).
, ( ) , ( ) , .. .