; , , , . , . , , , , .
, , , , .
. , , , .
, , , . , . , () , (. attributum - , ) .
, . , . , , , .
, , . , .
, , , ( ) , , , . , , . ., . 11 , : , 11 .
: , . (. subjectum , ) , S; (. praedicatum , ) , , ; , , (), ∕ . S P ( , : S P; , : S P).
|
|
. , . . , , . , , (, ).
. () . , , .
, , . , . ‑ () .
, , , , , . : . . : . . : .
, , , : , , , . . :
1. S P = ∀S P. , : .
2. S P = ∀S P. , : .
3. S P = ∃ S P. , : .
4. S P = ∃ S P. , : .
, : A ‑ , E ‑ , I ‑ , O .
, , :
|
|
SaP SeP
+
Ξ
i o
SiP SoP
, .
, , . , () , , (), : , , , .. .
, ( ) , ( ) , . , , . , .
, . , ,
(, ): ‑ (SaP ‑ SiP), (SeP ‑ SoP) (): (SiP SoP).
() () , () () . .
: (SaP SeP) : (SaP SoP) (SeP ‑ SiP). .
, . , . , . , , : , , , , , .
, . , () , , , . S P, S , P ‑ .
, , , . , . , .
S a P | S e P | S i P | S o P | |
S () | + | + | | |
P () | | + | | + |
P ( ) | + | + | + | + |
+;
, .
|
|
: S л. , . | |
: S л. , . | |
: S л. , | |
: S л. , . |
, ( ); ( ).
(. odus , , ) , , , . , .
( ) . , . : - , - . , , .
. : , .
, , . : . ( , ), ( , ), ( , , ; ). , , .
, , , , , , . , .
(), - , . , , .
() - . : . : S P.
: 1) , , () ; 2) () .
, .
|
|
, ; . : . : S .
: 1) , , ; 2) , , ; 3) () .
, .
- . : , , . : S .
: 1) , ; 2) , ; 3) , .
.
, , , - ( ): , ( ), , ( ), , ( ), , ( ) ..
, . , , , .
. S . , :
) , , S (1, 2, 3,n), : ;
) , , S(S1, S2, S3,Sn) , : , , , ;
) : S(S1, S2, S3,Sn) (1, 2, 3,n), : , , ;
) . , ( ).
, , , . . , , . , . , , , , , .
, , , .
- | |||
(, ) | ¯ ~ | ~p | |
( ) , , | Λ & x | p q | p Λ q |
( ) (), () | V + | p q p q | p V q p V* q *- |
() ... | → > | , q | P " q |
() , | ≡ | p , q | p ≡ q |
, , : (S P).
|
|