, , .
:
.
.
.
,
, -, , - (. ); , -, , -; (, XVI ., Isagoge in Organon Aristotelis). , . ; , (. Saltus in concludendo) .
, , .
( ), .
,
. 122
- ,
- , , .
: 1) 2) .
1. (modus ponens) , , , ;
.
:
(),
(q)
()
(q)
. :
p->q,p/q
2. (modus tollens) , , , . . :
(),
(q)
(-q)
, (-)
:
|
|
p->q,1q/1
, .
, .. . :
->
-> C
A -> C
, , .
:
,
.
, .
, .
.
- , -
.
- , , .
, () , . , : , .
, , , . - : (1) - (2) -.
1. - (modus ponendo tollens) , . ;
() (q) (q)
(-q)
, -1 : -- , .
2. - (modus tollendo ponens) , . :
() (q) (-)
(q)
: , .
, : , , () .