, , , , () (); . : ; , , : , .
.
, . , . .
. , , , . - . - , , .
. , , , . , , .
, . : . , , - . , . - , , , , () . , , . . , , , , . - , .
.
: . , . , . , . . , , . , . , . , .
|
|
: . , . , , . , , , , . , , , - . - , . .
, , - . : , - , . .
. . , , , .. , , . , , , , , , - , . .
. , , , , - . - , , . , - , , , . . . , , . , , , .
|
|
. - . - - , , . , . , . . , . , .
, , , . . , , .. . " - , ", - . . , , . . , , , .
. , , , . , , , , .
: , , . .
, , . , , . . , . .
- , , .
, ( ). . , ; , , , , . - , .
, , . , , . : , , .
|
|
. . , , , , , (), . . , , modus ponens: , - . , ( modus ponens), - - . , , .
- , , ( ).
, . , , . , , , , . , , , , . , ? , . .
, . , - . . , . . , , , , , ( 11 1941 ). , , , . , , . , , 1974 . : - ?
. , . .
|
|
. . , , , , " ", , , . , : " ". " ", .
, , , . , - , (" "). (" "). .
. : , , , . , , . , , .
- , () , . , ; , . , , , . . , . , , : , , , . , . "" , . , , . , , " " . . - .
: , , , , , , , . , - , . - . . .
, , (. " "). , , , , , . , , . , , . , - .
|
|
, . , () .
, , , . , . - , , , . . modus ponens ( ) (), . , . , , . - , , . . . .
, . - . , , , . , , , , .
: " , ?" . , , . , : " - ". , , , , . - , . , , . , , , , , , , ; - , , , , , .
, , , , . , . , , . , . - , . . . - , , . , , , , , , . .. : " , , ".
. , , , , . , , , , , , .
. . , . , , - -, , - . , , , . ( ), ( ), , . .