7
1) (). . : . ; . , . . . , .
2) , . . . . .
3) . . . ; . : . . , .
I
1.1. :
1 , ; , , .
, , , .
.
1.2. :
-.
-.
.
1.3. ? .
, , , . , , , .
, . , . . , .
II
2.1. .
, , , . , , , .
, . , . . , .
2.2. , -:
(pÉ(qÉp)).
(p&q)Éq.
((pÚq)Ép)).
(pÉØq)É(ØpÉq).
|
|
2.3. :
(Ø(xÚy)É(ØxÙØy)).
((Éb)ÙØb)ÉØa
III
3.1. , :
f2(g2(a, b)).
P1(f1(a, b)).
f3(a, b, c).
3.2. , , :
P(a, a).
$x(P(x)ÉQ(x, a)).
"xÉ(P1(y)ÙQ3(x)).
3.3. :
, , .
, .
- .
, , .
.
3.4. , , 1) , 2) :
"y(P2(y, x)ÉQ2(y, z)).
$x"yR(x, y)É"y$xR(x, y).
$x"yP2(x, y).
"y$xR(x, y)É$x"y R(x, y).
"y(P3(y, x, z)ÉQ2(y, z)).
"x(P(x)ÉØQ(x))ÉØ$x(P(x)ÙQ(y)).
3.5. :
$xA(x)ÉØ"xØA(x).
Ø$xA(x)º"xØA(x).
Ø"xA(x)º$xØA(x).