- , , ; , .
. , , . . , , . , -.
, , , .
, .
, , , .
. , . , , . .
.
, , - , , - :
1) ,
2)
3) ().
1. ( attributio - , ) . , . : , . ( kategorikos - , , ).
, , , , S-, S - , - . .
. .
. . , , .. . . , , ; .
2. . , , , , , - .
|
|
: xRy, - , , R - (R - relativus - ). : R . (xRy) (, R ).
, . , .
3. ( ; existentia - ) . ; , , , , , ..
1) 2) . , 3) .
1. . .
, . , , .
, . () . , S -Д .
2. . - , . , .
, - .
: S Д S Д.
, - . , : , , , , , .
: S Д S Д.
, , :
, , , , . , , .
. , - . : S Д S Д. , , , , , : , , . .
|
|
3. . , , , , .
- , . S Д, , - .
- , . S Д. , - . - , .
- , . S Д.
. affirmo (), - nego (). : - , - , 1 - , 0 - .
1) 2) .
1) ; , , , ( ) , , .
, .
2) , ( ) , .
, , , , . , , , , - .
.
, , . :
,
,
,
.
.
1. () .
, , , .
, , : , . p, a - q, q, q - ( ), - .
, : , , , , , , , .
, ; :
q r ... n.
- .
1) : S1 S2 . : - .
2) : S P1 P2. : - .
|
|
: S1 S2 P1 P2. : - (.. ).
2. () .
, , , , . , - , : - ; - . , - q, p q, q - (), - .
- : p q ... n. - .
1) : S1 S2 . , .
2) : S P1 P2. : .
3) : S1 S2 P1 P2. : .
. - - -, :
1) () 2) ()
1) - , - ( ).
2) - , ( ).
, . : q , q, q - , q. , .
, , , .
. .
, . : <p q r>.
, . : p q r ... : .., ., , .
3. () .
, , , , .., .... : , . - (), - - (). , - q, ..., ... , p q.
|
|
4. ( ).
, , ( ) , ..., .... : , (), (q).
, () (q). (q) , (). p q, : , q.
: q.
, , : ..., ..., ..., ..., ..., ... .