- , .
, , ; - : , , .
, .
, , . , .
, , , .
.
, , .
.
, , , , , , : , , , . .
, . , ; : - . , , ; : , , . .
, , . , . , .
. . , - , , , ; . , , , .
|
|
1. , , .
2. .
. , .
3. - ( ). , .
, , D.
, .
D.
: -, , , ; -, . , .
() . , . , , , .
(modus tollens) - , :
((→b)/\b) | .
.
:
() , :
1, 2, 3 ,..., n
, 1, 2, 3 ,..., n .
.
: : a/\b/\c= v v , . , , , . () :
→(1/\2/\3./\.../\)
1\/2\/3.\/...\/)
, . , , . () . ( ) , , , ( ) . , , , , .
|
|
.
( . - ) - , , ..
, , .
- . , , , , .
.
. , -. , .
. , .
- . . . . .
. , , , , , .
- , .
. " ".
. , , , .. , ; .
, . : .
, .
- " ", .
: ( - , ); (" - -?", " - -"); .
, . .
. "" . "" - , . - , .
. ( . παράδοξοζ - , ) - , . , . - , . - () , . . , , , . .
, . , ( , ) , .
1. ?
2. ?
3. ?
4. ?