1. , , z, :
( ).
2. ( ): ( ).
3. , :
P¹, Q ¹, R¹, S¹,...;
2, Q2, R2, S²,...;
..
Pⁿ,Qⁿ,Rⁿ,Sⁿ
:
P¹₁, P¹₂, P¹₃,
P²₁, P²₂, P²₃, ..
( , ; . , , , ).
4. ( ):
f¹₁, f¹₂,
f²₁,f²₂,
.
fⁿ₁, fⁿ₂,
( , ).
5. : ⊃,&,",∃,∨, , , , , . ( . ∀ ∃, , , : ⊃ , ∨ , & . , , , , .)
6. : (- ,)- ,,- .
, , , ( ) .
II. . .
: ) ; ) f¸ⁿ n- , f¸ⁿ ( ; ) , ) ), .
III. . , , , , , .
: ) P¸ⁿ n- , P¸ⁿ () ();
) , (⊃), (&), (AvB), A ; ) , ∀ x A ∃ x A ; ) , ) ), .
|
|
, , ; , ( & )
&.
f¸ⁿ, P¸ⁿ, A, B, x ( x₁, x ₂ . .) , () .
, ) ), .
, (: ). , , , , , . . , , ( ), , , , , . , . , - . - , , , , , . . ( , , , , , , , .)