.
, .. , , , .
+.
, .. , , , , .
: . S , ,P .
.
R (x, y, z). R (x, y, z). R, , , , , n-.
(xRy) x , y R.
) . , , , .
: 2 3 3 2.
() R1 R. , ,, .
) , , . , x y, R .
: , .
R , x y , ( , , ). , , x y , . (P , , , ..). , . .
: . P: , , ..
) . R x, y y, z; x,z; . , xRy yRz xRz.
: . . , . . , . . .
P : . , . ..
, , .
P : , , . ..
14. .
, . , , 0, I. ( ). - (); - I O - (); - I (), () - ; - , I- ().
|
|
, .
. . , , . , . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∀- (x)(S(x) ⊃ P-(x)) , S P, , S P.
, . , , . , O . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃- (x)(S(x) ⋀ P-(x)) , S P, , S P.
, , . , . A , E . ∀ (x)(S(x) ⊃ P(x)) ⊃ ∃ (x)(S(x) ⋀ P(x)) , S P, , S P. , . , , .