.
.
.
. : ()Ù()/().
.
, .
: (modus ponens) (modus tollens)
__ Ø_
Ø
.. (modus ponens) (modus tollens).
: , .
._ _______________ Ø_
. . Ø .
.. , .
.
.
( )Ù | (( )Ù) | ( )Ù | (( )Ù) | |||||
, , ( 7 9). () - .
, - , . . 7 9.
.
( )Ù | (( )Ù) | ( )Ù | (( )Ù) | |||||
, . , , . .
, , - . .
.
. .
.
. : (Ú)Ù(1Ú2)/(1Ú2Ú).
.
, .
: Ú Ú (modus ponendo tollens)
|
|
__ -
Ø Ø
(( Ú ) Ù) Ø (( Ú ) Ù) Ø -, .. . . , . .
Ú Ú Ú Ú (modus tollendo ponens) : ?
Ø Ø Ø Ø_ - .
. , .
, . .
- , , .. . - .
- .
; , .
. , .. .
:
()Ù()Ù(Ú)/; ()Ù()Ù(ØÚØ)/Ø.
. , . , .
. , .
, .. - , .
:
()Ù(d)Ù(Úc)/ Úd ()Ù(d)Ù(ØÚØd)/ØÚØc.
. , . - , .
3- , - .
, , , , , .
, , , - , , .
:
- , , , ; ;
- , , ; ;
- , ; ;
- , .
.
|
|
:
.., .. : . ., 2007. .7. 1 3.