() , . .
. , . , .
[6] :
1. - , , . - :
) (modus ponens):
: (), ().
().
().
) (modus tollens):
: (), ().
(`).
(`).
( , , ; » ).
, :
. , (), () () (). , , .. , , . .
2. - , , . - :
) - :
) - :
: (), ().
(`).
().
3. ( - ) , . , . ( ), ( ).
:
) :
) :
) :
) :
: (), (), (), (D). (A) (C). , (D) (B). , , .
|
|
, - ( -) . , . , -
.
4. , , , . , , .
:
.
: (A), (B). (B) (C), (C), (D). :
.
:
.
: (), (). , (`), (`).
, .. . .
, , . , , , : (); ; . . , ( ).
: , . , . . , .
- , .
. :
-;
q -;
r -;
s -.
(), (ùq) : Éùq. (ùq), (s) (r) : ùqÉsÚr. : ùr. (s) (): sÚ.
(Ù) (É),
[(ùq)Ù(ùqsÚr)Ùùr](sÚ).
:
p | q | r | s | ùq | ùr | A | B | C | D | E | F | ||
(ùq) | sÚr | ùqB | AÙC | DÙùr | sÚ | DF | |||||||
, , , .
|
|
, , , , . , , 6 ( ), 7 ( ), 9 ( ) 12 (), 6, 7, 8, 14.
, . . , , , . , , , , , , . .