, , : (1) (0), , ( , , ). . , .
M P(x) Q(x).
1.
P(x) Q(x) () , , , .
, P(x) Q(x), .. .
, , P(x): x Q(x): x 3 x x , .. x 6.
2.
P(x) Q(x) , , , .
, P(x) Q(x), .. .
3.
P(x) , , P(x) , , P(x) .
, , .. IP.
4.
P(x) Q(x) , , P(x) , Q(x) , .
, .
5.
P(x) Q(x) , , P(x) Q(x) .
:
16.
. , .
́ , - c. :
(:, : , 酻, 酻, ).
(:, : ).
.
, , ( ) ( M, ).
[]
1
2
3
3.1
3.2
4
5
6
7
[ | ]
|
|
x 5. , (, ):
5;
5;
5;
:
.
( ) :
, 5;
, 5;
5.
:
.
: . . ( , 2 ).
, c , (,).
, , (, ), .
[ | ]
, .
( ).
, .
( ).
[ | ]
* F , :
.
, , ,
F F,
, F G, (F G),
F v Kv F.
.
, .
.
v F, F Kv, K .
(:, ∀) , , , - . , , , . : , 酻, 酻, .
, ( ) , . .
, ( ) , , . ∃ ( ). , , .
|
|