, - 1^ . :
(), (q). (q), , , ()
(), , , ()
144
, (q), , , (). (q) () (). .
:
( -> q) (q -> ) >
: .
, , . , . . 5.
-
- , , .
: 1) 2) .
1. (modus ponens) , , , ;
.
:
(),
(q)
()
(q)
, () (q). , (): . (), (q): .
145
10- IW2
. :
(1)^'-.
2. (modus tollens) , , , . . :
(),
(q)
(-q)
|
|
, (-)1 :
^^. ^ "ip
, - : (3) (4), ..:
(3) -^,
\ / ^נ
(4)-^- |
, , , : , ( 3), :
, . , .
: ( 4) :
, : . :
1) ((-) )-; 2) ((- -1 q)-1 ; 3) ((-]) 1 )- q; 4) ((-)),
146
, .
, - , , : (modus ponens) (1) (modus tollens) (2). - . : . (3 4) . : .
.
(. 53).
1 | 2 | 3 | 4 | 5 |
q |
P->q) ->q