: , , .
8-13: 1) /, ӻ/. , .
2) /, /. . /, , , , , ../.
3) , .
: ( : dfd) , , , . ( : dfn) , . , (dfd) , (dfn) , .
:
1. , .. dfd dfn (Vdfd=Vdfn). : ) (Vdfd<Vdfn) / /; ) (Vdfd>Vdfn) / /; ) , / . , ; , , , , ../;
2. . : ) , dfd dfn, dfndfd. / , , /; ) , dfn dfd. / /.
3. . : ) , , dfn ; ) / /.
4. / /.
. . / , /, / 22 6 /.
|
|
. , , , , dfn . , .
4) (, ) , . , .
/ 12 /.
: 1) ; 2) ; 3) - , . / , .. , , ., /.
:
1. . . : ) / /; ) / , /.
2. . : / , , /.
3. . : / , /.
4. . - / , , .. - : , , , , , ../.
8: :
1: . : , . .
2: . : . .
9: , , - , :
: , .
: : , dfd dfn ; .
11. , , ?
: , , , , .
: , , , . , . . , ( , ).
4.
14-18: , - , , .
|
|
, , . , ( ). , .
. , , / - /. , , / , /.
: , , , , . 1) ( . Subjectus , ) , -. S. 2) ( . Praedicatum ) , . л. . 3) - ( ) (S ; S ). 4) , (, , , , , ..) / : S , , , - ; : S , , , /. 5) , (, , , , , , , ..). /, . . ; , . . /.
, . , - , , .
. : ( ) / /; ( , ) /- , /; ( ) / /. .
. ( / /), ( / - /). , . , . : S л S л / , /. , . : S л, S л / /. , / /.
, / - , , /.
:
, / - , , /.
|
|
I ffirmo (), Ż λ Nego ().
. : S л. | Ż - S л. |
I - S л. | λ - S л. |
16. . . (S ) , .
.
, , , ( ), (S+), (), , (-). , , , (S+, +), .
I . / /, , , , (S-, -). / /, , S , , +.
/ / S , , (S+, +).
, , / / , ; , S P (S-, +).
:
S+ P S+ P+
: . : .
|
S P S P+
I: - . I: - .
S+ P+ S P+
: . : .
17. . c .
, . : ( I, ), ( I ). , . : ( ) ( I , ).
: : ( ), (I ); , ; (I ), ( ), , . : , , , ; , . : , . , , - . : , . , , , .
|
|
16: , , I, . :
: .
: S , , . - , ( I). , , :
S- P-
, .
S - :
17. (, , I, ). . , , .
: .
: (I).
:
: .
: .
: .
:
(I ) : (I) (), - ;
(I ) : I , - .
(I ) : , - .
18. ( ):
: .
: ( I). ( ) ( ): .