, . :
(), (q).
(q), , , (r)
(), , , (r)
, (q), , , (r). (q) () (r). .
:
( q) Ù (q r) r
: .
, , . , . . 5.
-
- , , .
: 1) 2) .
1. (modus ponens) , , , ; .
:
(),
(q)
()
(q)
, () (q). , (): . (), (q): . :
q
2. (modus tollens) , , , . . :
(),'.
(q)
(-q)
, (-)1
|
|
q,ù q ù p
:
|
, - : (3) (4), ..:
q,ùq ù p
q,ù q ù q
2. , , , : , ( 3), : , . , .
: ( 4) :
, : . 2 : 1) ((Юq) ÙP)q; 2) ((pq) Ùù q)ù ; 3) ((pq)Ùù ) q; 4) ((pq) Ù q) p.
, .
, - , , : (modus ponens) (1) (modus tollens) (2). - . : . (3 4) . : .
.
(. 53).
1 | 2 | 3 | 4 | 5 |
q | (pq) Ù q | |||
. 53
( 3) () (1) () (2). , , (2- ). . (4- ) (3 1). , (1- ).
(5- ' ). (4) (2) , , , . , (( -> q) Ù ) -> q .
(. 54).
1 3, 2 4 , , . q (1 2) (2- ) 5. ( 6) (q) ù q (5 4) (4- ). ((p->q) Ù ù q) ù (6 3) , , , . , ((>q) Ùù q)ù .
|
|
. - . -, , : q; ù q; q; ù ù q. :
(), (ù q)
()
(ù q)
, ( ) , ( ) , ..
ù q,
ù q
.
.
-, : p º q (, , q), º , :
Pº q, P º q, ù q º q, ù P º q, q
q ù p ù q p
: , . , .
-
- , , .
, () , , . , : , .
, , , . - : (1) - (2) --.
1. - (modus ponendo tollens) , . :
() (q) (q)
(-q)
- :
p Ú q, p
ù q
Ú .
, : -- , . , . , . . . . . , . , .
2. - (modus tollendo ponens) , . :
() (q) (-)
(q)
- :
<p v q >,ùp
|
|
q
< > .
: , .
, : , , () . () , . :
, : , , ( , , , ..).
, . , , (), (q), (r). , (). . - :
Ú q Ú r,
ùqÙùr
. , , . - :
< v q v r >, ù v ù q
r ( )
, .
- - , (. XI).
-
, , , -, [32].
, [33], ( ), ( ) ..
- . : () (), .
, . , . .
:
(pr)Ù(qr),pvq r
:
(), (r); (q), (r).
(), (q)
|
|
(r)
. . .
:
(pq)Ù(rs),pvr q v s
: |
(), (q); (r), , (s). () (r)
(q) , (s)
, . , . .
:
(pq)Ù(pr),ùq vùr
ù p
:
. (), , (q) (r). . (q), (r)
, ., ()
. , . .
:
(pq)Ù(rs),ùq vùs ù v ù r
:
(), (q); (r), (s)
(-q), (-s)
(-) (-)
4. () [34]
, , . . , , .
, 1.
, . : . . : , , . , .
1- :
, (),
()
. (s) ()
. (s) ()
, , : , , , . . : , , , . . .
, , : , .
2- ; 3- .
, .
.
- : , .
, . - , .
|
|
- : , .
, .
- : , , , . .
, , .
, , , . , , . , , , .