. . D. D.
27 . .
. , ; . , .
.
- , . , . , . , . .
: " , (1). . - (2). , (3)".
1- 2- , 3- - .
‑
. , . , : " , " " " - , , , .
: -, - ; -, , .
: () (). , , .. . .
, .. , . : ( ), ( ), ( ).
- , .
|
|
: " (1). - (2). (3)."
" " , " ". , (""), - "", .. , . " S P" " S P".
, , .
, :
- ( );
- .
: modus ponendo tolens -, modus tollendo ponens -.
Modus ponendo tolens , , , .
, ;
;
, .
:
, ;
;
, .
, , .
N , , ;
N .
, , , N; , , .
Modus tollendo ponens , , , .
, ;
;
, .
:
, ;
;
, .
29-
, - , - , - . , .
- - , . - .
() . (). . , . :
|
|
, ;
, ;
, ;
, , .
: , ; , . , . , .
() : , . , . :
, , ;
, ;
, .
: , . , . , . , .
: , , , .
30.
, , .
:
. .
.
, xRy, , R .
, 1) , 2) 3) .
1. ( simmetria), , . , . ( , b ), ( d, d ), ( , , ), .
:
XRy yRx.
2. ( reflexio ), . ( = , = = ) ( , , ).
:
xRy -+ xRx yRy.
3. ( transitivus ), z , z. , () , z z.
( b b , ), ( z, , z), , ( b, b , , ), , (, , ), , . .
|
|
:
XRy yRz) -* xRz.
:
(xRy -* yRx): xRy , yRx . :
. .
(xRy -+ xRx yRy ): xRy , xRx yRy. :
= . = b = b.
(xRy yRz -* xRz ): xRy yRz , xRz , :
. . . .
. .
, , . . , , .