.
- , .
: , , .
. , . , .
( ) ( ).
() (, ). - , (. . ). ( ).
- , . , : , . . ( ). .
( . deductio - ) - , .
: , .
:
, .
.
.
( . inductio - ) - , ().
:
- .
- .
.
- .
, , , - .
, .
, , . .
( . analogia - , ) - . , ( ) , .
|
|
.
, . ; (. . ) .
, , . , , . , - (modus ponens, modus tollens), - (modus tollendo ponens, modus ponendo tollens), () .
. , , , , , .
. , Ai, Ai,..., An Αι, Αι, ., An, : , Ai, Ai,..., An ( ), . () , Ai,.... An Ai, Ai,.. An, (. ).
, , , , . , , , ; . , . . , , , , . .