3.”
”
4.5.
(4%×6=24%)
1.s
t∧( sP(t,s))
t,
2.3.
A∨B
4.5.b2(x)=26.
i-
i-
(15%)
1.
(1)(2%);
(2)(2%).
2.”
”
(3%)
3.
(4%)
( y)P(x,y)
( x)( y)P(x,y)( x)( y)P(x,y)→( y)P(y,y)
(k5)
( y)P(y,y)
MP
( y)P(x,y) K( y)P(y,y),
K( y)P(x,y)→( y)P(y,y)
2
v
( xiA).
”
A
B
”