:
1) , , z, u, v, w, - ;
2) , b, c, d, e - ;
3) f, g, h - ; ( ) , . , n - ;
4) P, Q, R, S, T - ; , , ( );
5)┐, ᴧ, ∨, →, ↔, - ;
6) .
:
1) ;
2) , , , , ;
ᒺ, , , . ᒺ, , . . , . - . :
, - , - . , .
. :
1. .
2. α β - , (┐α), (α ᴧ β), (α∨β), (α→β), (α↔β) .
3. α(x) - , .
, . , , , , .
, . . , f(u) y
. , P(u, v) u = v, , , - . , . , , , , .
. t α(x) x ( α(x)), x α 䳿 y y, y , t.
|
|