, , , , , .
, , ( ) . , , , . , .
, , . (. . 20) . 1) , 2) - , 3) - 4) -, .
( ) , (). :
→
→
-----------
→
, . , . . , , , :
→ ( v C)
(B v C) → D
D → E
-------------------
A → E
, , , ( ) , , ( ) , , , . , , , , , .
( , ) , .
.. :
, ,
, ,
, .
|
|
, .. , , .
- , , , ( ), (), , , . , , .
- , . -. .
, , (. . 27):
1) | 2) | 3) | 4) |
→ ----------- | → ----------- | → ----------- | → ----------- |
. 27
() - . , .. . . 27 1) 4). : 1), - , 4) modus tollens, - .
, 1) (modus ponens) . :
, .
----------------------------------------------------------------------------
,
.
(modus tollens), 4), . :
,
--------------------------------------------------------------------- ,
, - , , , , , , , . , . , .
|
|
, :
1) :
→
-----------
2) :
→
(=)
-------------------
(. 28):
- | |||||||||||
B | Modus ponens ((→) ^ ) →B | Modus tollens ((→) ^ ) → ) | |||||||||
. 28
, , , - .
, . , , .
, , (. . 29).
- | |||||||||||
B | ((→) ^ )→ B | ((→) ^ ) → ) | |||||||||
. 29
, , , , , -, , .
, - . (modus pones, modus tollens) . , , , , . :
, -
.
--------------------------------------------------------------------------------
.
, , : , . , .
- , , () , , . , . - (. 30):
1) | 2) |
v ---------- | < v > -------------- |
. 30
1) -, - modus ponendo-tollens, 2) -, modus tollendo-ponens.
|
|
, , , , , , (. 31):
< v v C v D >
D
-----------------------------
< v >
. 31
:
1)
, , ;
2) ( - ) ,
, , .
-, , , ( ), , .
, , :
, ,
, .
.
--------------------------------------------------------------------
, .
, , , , . . .
. (. 32):
1) | 2) | 3) | 4) |
→ → v C ---------- | → → D v C ----------- v D | → → C B v C ------------- A | → → D B v D -------------- A v C |
. 32
, , , . , () ().
, ( , ) , () . . :
, .
, .
.
------------------------------------------------------------------------------
.
1) . 32.
, (), , , . . :
, .
, .
.
------------------------------------------------------------------------------------------
|
|
.
3) 32.
, , () , ( ). , ( 2 . 32).
, , . , ( 4 . 32).
( ) - . , .
4.