, , , . , . , , , .
: ) (, - ); ) ( ), , - (, () (q) , q , ); ) , , / .
-. - , () , - . , , , .
:
() (q).
().
(q ).
- . , , - (modus ponendo tollens). - . - :
v q
q,
p v q, p , q . , , : p v q, p
q, , - : ((p v q) ^ )) > q, (^), (q) (>) .
: ( ). : ( ), .
|
|
, , - (modus tollendo ponens). : pvq,p
q.
:
() (q).
().
( q ).
, - ( , ). - . , . , , , , - . :
, , - .
.
, - .
, .. , , , - . -, - .
- , - , - .
- , ( > q), ( >q). , . , , , . , , , . , , - , , , - , .
, , . , , , ( ), , ( ), ( ).
|
|
- . , , : , .
- , . , , . , , , . (modus ponens) : p >q,
q. :
(), (q).
().
(q).
, , , , . :
> q, q
? :
(), (q).
(q).
(?).
, (q) , ().
, , . , , , , , . (modus tollens) : > q, q
p. :
(), (q).
(q).
().
, , , ( ) ( ) . , , , . : > q,
q? :
(), (q).
().
(q?).
, , . - :
X , .
X .
?
X , ( , , , ..). , , X . , , : , , , X . :
X , .
X .
(), X .
|
|
, , . ( ), , , . , .
- , , ( ), , : . , . . : < q,
q? :
(q) ().
. X ().
. X (q)?
- , . : < q, q
. :
(q) ().
. X (q).
. X ().
- , . : < q, q
? :
(q) ().
. X (q).
. X ()?
- , . : < q,
q. :
(q) ().
. ().
. X (q).
, , , .
:
1). (), (q).
().
(q).
: < > q,
q.
2). (),
(q).
().
(q).
: < > q,
q.
3). (),
(q).
(q).
().
: < > q, q
. .
4). (),
(q).
(q).
|
|
().
: < > q, q
.
, , - , .
: > q
q >r
> r.
: ( > q), (q >r)
( > r).
: ((> q) ^ (q >r)) > ( > r).
:
(), (q).
(q), (r).
(), (r).
, . : . , , , - , .
, , -. -, , , , . . ( . - - ), - , .
, : - , - , - - :
(1 > q1), (2 > q2), (3 > q3), (1 v 2 v 3)
q1 v q2 v q3.
- - . .
, . , - . :
(), (q).
(r), (q).
(), (r).
(q).
: ( > q), (r > q), ( v r)
q. : (( > q) ^ (r > q) ^ ( v r)) > q.
(( > ) ^ ( > )) = (a v ) > , , , - : (( v r) > q) ^ ( v r)) > q. : (), (r), (q). , - .
, . , - . , , :
(), (q).
(r), (s).
, () (r).
, (q) (s).
: ( > q), (r > s), ( v r)
(q v s). : (( > q) ^ (r > s) ^ ( v r)) > (q v s).
|
|
, :
1) ( );
2) , , , .
, , , .
, , . .
:
. (), (q).
. (), (r).
. (q), (r).
. ().
:
( > q), ( > ), (q v )
. Ÿ : (( > q) ^ ( > ), (q v )) > .
, , : (( > ) ^ ( > )) = ( >( ^ ). . - : ( > (q ^ )), (q ^ )
.
:
. (), (q) ().
, . (q ^ r).
. ().
, . . . :
( > q), (r > s), (q v s)
( v ). : (( > q) ^ (r > s) ^ (q v s)) > ( v ).
:
(), (q).
(), (s).
(q) (s).
() ().
, . . , , , . - :
(), (q).
(), (s).
(q), (s).
(), ().
:
(( > q) ^ (r >s) ^ (q ^ s)) > ( ^ ).
, , . , .
, , . (), - :(( > q) ^ q > ) + ((r >s) ^ s > ), - .
, -, - , , . , . , .
. 109 :
1. () () ().
2. () (d) () (f) (g) (h) (j) :
((g v h) ^ j).
3. () (k) (n) (m) (g) (h) (j) : ((g v h) ^ j).
, :
1) > (b v );
2) a ^ d >e v f ^ (((g v h) ^ j) v ((g v h) ^ j));
3. ^ k > n v m ^ (((g v h)) ^ j) v((g v h) ^ j)).
, , , , . . , . , , , , , . (-) , , - .
, , - .
1). (+) ,
(+).
(S+) (-).
(S+) (+)
( ).
2). (q) ,
().
(q).
().
- . , , , - , , , - .
.
, , .
, , .
, , .
(.: .., .. . ., 20001. . 373 374.), , , . . , : , , , . , , , , : , , .
. , (+), (+). ( , , ).
. , (S+), , (-).
. , (S+), (+).
, , , . .
(),
(q).
(q),
(z).
(),
(z).
, , , , .