A1, , An | B. .
1. - , |, , ,
A V B, , | S,
A V B, P | S, C V D, E.
2. | &, V, . :
A & B, C & |
A, B, C, | , .
3. | V, &, , , . , A, | B : 1) A, | B; 2) A, B | B. , .
4. |, .
5. |, . | , , .
2. (A → B) & (B → C) & A | C.
A → B = , B → C = . : , , A | C.
1) , , A | C
, A | C, A .
2) B, , A | C
) B, , A | C
B, A | C, B .
) B, C, A | C .
7 . . .
. P(x) , x M, P (: {, }, {0, 1}).
M, , .
, , P(x).
P(x) ( ) M, Ip = M (Ip = Ø).
. n P(x1, x2, , xn) n , , , P . , P(x1, x2, , xn) P: , M1, M2, , Mn ; x1, x2, , xn ; B () : B = {, } {1, 0}.
, P(x) Q(x) (Q(x)) → P(x)), ; P(x) Q(x) (Q(x)) ↔ P(x)), .
. P(x) , M, x M. x M P(x) ; . x M, P(x) ; .
|
|
P(x) x, x, x.
, , , .
:
1. p, q, r, - , : {, }, {1, 0}.
2. x, y, z, , M: x0, y0, z0, - , .
3. P(), F() ; Q(,, , ), R(,, , ) n- . P0(), Q0(,, , ) .
4. : &, V, →, ¯.
5. : , .
6. : , .
7. . () .
. A B M, , M.
. A B , .
A(x) B(x) , C . :
1. .
2. .
3. .
4. .
5. .
6. .
7. .
8. .
9. .
10. .
11. .
12. .
13. .
14. .
15. .
. , , , , .
. (...) , :
, A .