, ..
( attributio , ) . , . ( kategorikos , , ).
, , , ; S, S , , .
. . .
.
. , .
.
.
. .
( attributio , ) . , .
. , , , , -1.
, . : , (S), (). S л, , .
, . : (S) (). S л. , .
, . : (S) () S л. , , .
, . : (S) (). S л. , .
. affirmo (), nego (). : , , I , -.
, , I, :
( S ): V (S(x) -> ())
( S ): V (S(x) -> 1 ())
I ( S ): 3 x(S(x) ())
( S ): 3 x(S(x) "1 ());