; .
, .
, () .
, , (-, , ). .
, . , . (), .
:
,
, ;
.
. Ÿ . . . . .
. , , . , . () .
. ,
:
.
-> . 1) - ( , , ); 2) ( , , ); 3) - ( , , ); 4) - (- , , ). .
:
, :
1. ,
2. , (, )
3. , .
4. , .
|
|
, ; . , .
, . . ().
( , ; ., ..).
:
( )
, , (-, .)
, .
, ; , , => .
.. ( . ). () , , .
, . . , .. .
:
.. ( . ., .. )
. .. , .. .. , .
..
. .. , .. .
> . Modus tollens . modus tollens , , . , . . , , . . .
. . , , .. . , , .. . , , .
.. .. , .
, 2 , => , .
.
:
1) ( ( );
|
|
2) (, );
3) ( ( );
4) (, , ; , );
5) ( ; ; 1970 .);
6) (, , , ).
.
, . () . .
, .
- .
=> , , ( ). , , . , . - , .. .
() :
1. , ,
2.
3.
() . , , . :
,
:
+ - , -
- - .
, .. . , .