o , ,
o , .
Ø , , ,
o () ()
o () ().
o (I) ().
o () (I)
Ø , , , .
o () (I),
o () (),
o (I) (I).
o () .
Ø , , , , .
o () ().
o () (I).
o (I)
ü (): , I.
, , .
ü (): . , .
ü ():
I . , , .
ü ( I, ). , : , , .
.
,
,
S ( ) ( ).
|
|
, , , , , .
,
: , ,
.
o 1- :
o 2- :
o 3- : , ,
.
1- : .
2- : , .
3- :
4- : , .
,
.
1- :
1. .
2. .
.
2- :
1. .
2. .
.
3- :
1. .
2.
.
4- .
, ,
,
: .
- , ,
: 1) 2)
(modus ponens) , , , ;
.
(modus tollens) , , , . .
|
|
.
: .
- , , .
, () , ,
- (modus ponendo tollens) , .
-- , .
- (modus tollendo ponens) , .
, , ()
, , , -,
,
-
-
-
, .
-
, .
, .
, .
,
, , .
, , , .