: . , , . : ? . , .
: , - , , . , , . , . , , , . , , , . . . . , , . , .
, : 1. f2(g2(a, b)). 2. P1(f1(a, b)). 3. f3(a, b, c).
, , : 1. P(a, a). 2. ∃x(P(x)⊃Q(x, a)). 3. ∀x⊃(P1(y)∧Q3(x)).
5.
13.
, . .
1. . , 45 . , ( , ). , . , . , , . , . 45 . . (, ). , . .
2. . , , . . . , . . .
|
|
3. B , . - ? , . ( . .: 10 . .-/., 1992. . 4. . 223).
4. . , , . 50000 , SONY. . . ( ). . .
5. , . . . , , , . . , .