- () , (- ), .
, ( ) . , . , - ():
-, ;
-, .
- modus ponendo tollens:
V | V | |||
- | - |
- modus tollendo ponens:
V | V | |||
- | - | |||
- , - .
:
1) (- );
2) , .. .
, , , , .
, - (modus ponendo tollens) , .
:
V V |
- Λ - |
- (modus tollendo ponens) , , .
:
V V |
- Λ - |
- : modus ponendo tollens modus tollendo ponens. - (modus tollendo ponens) . .
:
1.
2. - , ? .
3. - , ?
4. - .
5. - ?
6. - ?
|
|
14
4. 3.
:
- , , ;
- , , ;
- .
1
, , , :
:
,
: - . :
→ |
. : modus ponens. .
1. , .
.
2. , .
.
3. , .
.
4. ,
,
, .
2
. , :
1. , .
2. , .
3. , .
4. .
5. , .
6. .
7. , .
5.1. ,
- , .
:
1) . : .
2) () , . , . , : , ?
3) () . , , , . : ?
:
1) , .
2) , .
: , .
3) .
: ( ).
:
1) , .
|
|
:
, .
, , .
2) .
: .
3) .
: , .
:
, , .
: , .
: ; ; .
.
, ( - ).
Modus ponens .
, , .
, ( ) . , .
: .
1) ( ) , , ( ) . , ( ), . , .
2) , (). , . , .
.
, .
, . , - , .
, , . . , .
, :
1) , ;
2) () ( ), ;
3) ( ) .
:
. , .
, , . .
: 셻
|
|
, . . . , , . . .
:
) ;
) , ;
) , () , . . -;
) ;
) , ( ) , .
, |
- |
, - |
, . , , , .
. , .
, , . , .
:
) ;
) -;
) - , () , . . -;
) ( -):
-, - |
, |
) , (-) . .
.
, , .
, , , .
:
1. ?
2. .
3. , ?
4. ?
5. ?
6. ?
7. ?
8. ?
9. , ?
10. ?
11. ?
15