, , , .. "": " - , , , ". . : , - -.
. . . , : " ". : " -, -". : " , -, -".
- . . . tollendo ponens (-):
. a \/ b.
. -a.
- . b.
"". , . , - , , . , .
- ponendo tollens (-). , .
. a \/ b.
- . a.
. -b.
. ( ) .
, , , , , , "", , - , - :
1. ( - ).
|
|
2. , , ( - ).
:
, .
"" , .
"" ?
, , . - : , .
"". , , . , , . , ? , . , , . "" . ( - ), ; " ". - , , . , . ponendo tollens .
- , . . : , .
, ( ) , . .
a => c, b => c.
a \/ b.
c.
, . :
, ,
, ,
. , .
, .
. ( "") .
a => (b /\ c).
-b \/ -c.
-a.
, - , "" ( ). , , , ( ) . , .
|
|
, ,
, . , .
, , "" "" ( ).
, .
. , ( ) .
a => b, c => d.
a \/ c.
b \/ d.
. , . " , ". , :
, ,
, ,
, . ,
, .
, , , :
, ,
, ,
, . , , .
, , , , , , , , , , , , .
, . .
a => b, c => d.
-b /\ -d.
a /\ c.
, ,
, ,
, "". , ,
.
1. - , .
2. , , .
3. ( ).
, . , , . . , - , : ( ) , . , , , , .
, - , , - - .
|
|
- . , , . , ..
.
, ,
, , ,
. , .
.
. , . , , - . , , . .
- . , . , , , , , . , .
- , - .
. , . ( - ). . , . , , . . , , , , , ; , , - , , .
, . . : . , .
:
.
.
.
.
.
.
: .
, , , . : , - ? , , . , , , , - . , , . , , . , . , . , . - , .
|
|
; . , .
. . . . , , , . , , , , .
. - , , . , . .
. , , , , n. , , , n, n (n+1). , , , , n. , n (, , ). . , n (n+1), . . .
. . , . , .
, .. , .
, . . , . , , , , , .. , , . , , .
, , , . . , , , , .
|
|
. , . . , , , .
. . , . , , , , . , , , , , - .
. , . (1561-1626 .). " " ( "") . , . " - . - !" - , , , -; . . , , . . . . . . (1806-1873 .). , , . . , " " .
. . , . (, " " " "). - , , . , - , . , , , a, , A. , A a; , , , , a. , , ( , ).
( ). , :
.
.
.
.
.
.
.
.
.
: .
. , , . , , , , .
, . , , , () , , , . . , , , , , . . , , , - - . , , , .
. "" . . , . , , . . : , , ; , , . , , , .
, , : , , , , , . : .
. : , A, a, A , a. , , a A, - : , a, A .
, . , a, , A, , . , , , , .
. . , , , . . , . : , , , , , . , , . , . , , , , . . .
a , , A. , , .
, , , , a A. A, - . , - , . .
. , . . - , .
a ; b, c, d, . : A B, C, D. , B, C, D b, c, d, a A. , B, C, D a , , .
.. . , : , , . .. . . , . , . , . , , . , .
. , , , .
. , . , , . . , , , .
, . , . . . , , , , , , . , , ; , , , , , , . , , . .
, , , , , , , , , , , , . , , , , . . , , . , .
, , . , - . , - . ( ) , , , , , , - . , , . , , , , ( ), . ; , , .
, .
, : a, b, c, d. , . , . , ; , , . , . . . , , , . , , , , . , , - , , . .
, , , , . , , . , , . , , , : , - , - . , . , . ? , , , , , - , . , .
, , , . , - , , , - . , , , , , . . , 40-50 40-50 . , . , - , .
, , , . , , , , - . , , , , . , , , , , , , . , . , : , , .
, . . , , ( ), , . , , . , , ; , . , ; - , , . , , , , .
, , : , . , , , , , , , . , , , , , . , - , , , , . , , , . ? . . , - . , . , ( ).
, , , , . . , , , . . , , . : ? ; , , . , , . , , . - , . , , . , , , : - . .
, , , , , , , , , , , , . , , , , . , , , . , - . , , - , , , . , , , , .
: , . , , , , , . , , , . . . , , , . , ? . , , , . , , . , , , .
, , . , . , .
, , , , , - , . , , , , , , . , : , , , , .
, , . , . - , , , , . , , , . , , . , , . , . . , , , . . , ( ), , .
, , . . , , , . , , , . , , , . , , .
. , , , .