.


:




:

































 

 

 

 


.




. . 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 , :

. . . .

. .

, , . . , , .

 





:


: 2016-12-29; !; : 483 |


:

:

,
==> ...

966 - | 881 -


© 2015-2024 lektsii.org - -

: 0.02 .