:
() ()
(S) ()
(S) ()
, , .
, (S). , (P). . , . , , , , , .
, ().
, .
:
) :
1. .
2. .
3. , , .
) :
1. .
2. , .
3. .
4. , .
.
, .
, :
I
() I ()
I I (II) (I)
() (I) ()
, , .
, , 19 , .
:
1- : , , II, I
2- : , , I,
3- : I, II, II, , , I
4- : I, , II, , I
.
, .
1- :
1. .
2. .
2- :
1. .
2. .
3- :
1. .
2. .
, , .
,
1) : xRy yRx
|
|
xRy
_______ ____________
yRx
2) : xRy (xRx & yRy)
xRy a=b
_________ __________
xRx & yRy a=a b=b
3) : (xRy & yRz) xRz
xRy
yRz
______ _________________
xRz
2.
, .
: , -, - - .
, .
:
, b :
b, (pq)&(qr)
, pr
.
, .
,
.
,
.
-
- , , .
:
1) (modus ponens), ;
2) (modus tollens), .
(modus ponens):
, b :
(pq), p
b q
.
(p),
(q).
(p).
(q).
(modus tollens):
, b :
-b (pq),
-
.
(p),
(q).
().
().
-
- , , .
:
1) - (modus ponendo tollens), ( ) , ;
2) - (modus tollendo ponens), , .
- :
b :
p Å q, p
-b
.
(p) (q)
(p)
()
|
|
- :
b :
- <p Ú q>,
b q
<> -
.
(p) (q)
()
(p)
-
, , , - ( lemma ).
, . ( ), ( ) ..
: , .
1) :
, c; b, c :
a b (pr)&(qr), p Ú q
r
, . , . .
.
(p),
(r);
(q),
(r).
(p),
(q).
(r).
2) :
, b; c, d :
a c (pq)&(rs), p Ú r
b d q Ú s
. . .
.
(p),
(q);
(r),
, (s).
(p) (r).
(q)
, (s).
3) :
, b; a, c :
-b - (pq)&(pr), Ú
-
, . , . .
.
(p), ,
(q),
, (r).
()
,
().
().
4) :
, b; c, d :
-b -d (pq)&(rs), Ú
- - Ú
. , . .
|
|
.
(p),
(q);
(r),
(s).
()
().
()
().