. :
1. .
2.
: (-) (+)
: (+) S(-)
: S(-) .(+)
5. :
, , , .
((p v q)^q)→p.
.
((p v q)^q)
.
, .
6. :
). , , , .
). , ,
.
1. : ; .
1. - ( )
2.( , )
3. ( )
4.( )
5. ( )
6.
1. ( )
2.
3.
4.
5.
6.
.
. , . : , , . , , - , . , .
ZKL XMQ,
Z X
K M
, L Q.
, , , .
( , , , . )
: (S-) (P+).
: (S+) (P-).
, .
4., AJJ .
: .. -; .. SM. : S-P
A- , J- . : .
5. , : , , ,
a- , b-, - , d- .
((a→b)^(c→b)^(d→c))→(a→d)
: , .
6. : .
|
|
- , .
A: (S+) (P-).
: (P+) (S-)
.
, .
. : , , . - . : , , , , .
. : , .
- . : , , , , .
2. , .. . Dfd Dfn . , . Dfd Dfn .
3. -a, - b. -c.
((a→b)^(b→c))→(a→c)
, - , .
4. A: (+) (-)
A: (S+) (-)
: (S+) (P-)
, .
(?)5. . . - , - , - , D- , d- .
ABCD →d
ACD ≠d
, B →d.
6. : - , - . EAE: - ( S P), - ().
.
1. - , . , . -2141 -99. , - ( ).
- . , , .
2. : (S+) (+).
: (S+) (--).
: (--) (S-).
3. -, b, - , d.
(((a→ b)^(→a)^ (c--→d))^d)→b.
, . , (((a→ b)^(→a)^ (c--→d))^d)- , b-. b-, - , (a→ b)-, - , (→a)- , ---, (c--→d)-. , , . , , , . , .
4. : - , - . AEE: - ( S P), - (). : S P.
|
|
5. . ().
6. - , . : , , - , .
.
1. . ( ) - .
2. .
: (S+) (P-).
A: (S+) (--).
A: (P--) (S-)
3. : (+) (-).
J: (-) (S-)
J: (S-) (P-).
4. a- , b- , - , d- , d---- .
((a→b)^ (c→a)^ (c--→d--)^ d)→b
, . ((a→b)^ (c→a)^ (c--→d--)^ d)- , b-. , , (a→b)- , - , (c→a)- , (c--→d--)- , d- . , . , , .
5. : . , .
: A1BC→d1; A2BC→d2; A BC →d
, → d.
6. 3 : EJO. .
- (J: . S P).
- O(.S P)