, , , : , , , , , . , , , . "..., ...": " , ", " , ". , , , , .
. .
-. , , , .
, :
, .
, .
, .
, .
, , .
"..., ..." , - a, b, c,... , : a, b, b, c...
a => b.
b => c.
a => c.
- , . , - modus ponens () modus tollens (). :
, - . a => b
. a
- . b
Modus ponens
. "" , - , . , . , , . , , : " , ". : " ". , , , : " ".
|
|
:
- , . a => b
-b.
- -a.
Modus tollens
, , -a , , , a.
, , , . , . , " , " "; " " " : " ". .
:
- , .
, , , .
, a => b
-a.
-b?
, . a => b
. b
? a?
- , , , , . , , , . , -, , . , " , 29 " , .
- . . , , . - , .