, . .
: 1) , 2) , 3) (). .
, I . , . -:
( )
. ( )
. ()
() , , , .
.
(. , ) , , .
1. , .
, , ( : , I ). , , .
: →
2. , .
, - . F, - - (modus ponendo-tollens):
۷ F; F
.
3. :
→ ;
(modus tollens) - . ( ≡ ), .
, tertium non datur ( ). .
, . , . , :
|
|
۷ ۷ ; ^
- - (modus tollendo-ponens).
:
, ,
, ,
, . (), . , .
.
:
1) , ;
2) , , ;
3) () .
, :
1) ( );
2) ;
3) .
I.
: , .
1. , . . ( ), . , . , , , , - .
2. ( ) , . . , , F , :
1) → 2) ٧ F; F 3) → ;
3. .
, , . , , .
II.
: , , . :
→ ;
,
:
;
, ;
, , . .
. , . , , ( , ), , .
|
|
III.
, . , , . , , , .
, : , , .
, . , , , .
, , .
, . , .
, , . , ( : , ). , : .