- : , . . , - , , . . , -.
, , : , , ; ; , . :
, .
.
, .
, , - , , : , . , ( , , ) . . :
.
.
, .
- - : ; -; , . ; , ; : . -. , . -. , .
:
.
.
.
.
, ( , ) ( ). :
) () :
, , , ; . ,
. , , , :
, ; ; ; , , . , .
) : , . , . . , . ( , ; , ; ; , ).
) () : , . , .
. , . ( 6, 3; 6, 2; 2 3; , 6).
) : , . , . - -.
|
|
, - -. ( , ; , ; ; , ).
8. , ., : , , . ( , , . .)
: , , -. (, , -, ? . ? . , ? ).
1. : , , , . , , . .
: . . .
:
1) (S) , () , () ;
2) : ( ); : (S )
3) :
S
S
4) 1-
5) AI I,
1) , , . ,
2) . . , .
3) . . , .. .
4) . , .
5) . . , .
6) , , .
7) , , . , .. .
8) . , , .
9) . , .. , , , .
10) , , . 198 . , , .
2. , . , .
: . .
.
1) ,
|
|
(M) (P)
(S) (M)
(S) (P)
2)
P
S 1-
3) ,
1) . .
2) . .
3) . .
4) . .
5) , .
6) . .
7) . .
8) . .
1.
1. : | ) , - ; ) , () (); ) , . |
2. : | ) , ; ) , ; ) , ; ) . |
3. : ? | ) ; ) ; ) ; ) . |
5. : | ) , ; ) , ; ) , ; ) , . |
6. : | ) ; ) ; ) . |
7. : | ) ; ) ; ) , ; |
8. : | ) ; ) ; ) ; ) . |
2.
1. , | ) , ; ) ; ) , ; ) . |
2. : | ) , . , . , , . ) , . . , . ) , . - . , - |
3.-- , | ) ; ) , ; ) , ; ) . |
4. : | ) , ; ) , ; ) . |
5. : | ) , ; ) , ; ) . |
6. : | ) , , .. ; ) , , ; ) , . |
7. : | ) , ; ) ; ) ; ) , . |
8. Modus ponens : | ) ; ) - ; ) ; ) - . |
9. Modus ponens : | ) , . , . , , . ) , . . , . ) , . - . , - |
10. Modus tollens : | ) - ; ) - ; ) ; ) . |
11. Modus tollens : | ) , . , . , , . ) , . . , . ) , . - . , - |
12. : | ) , ; ) , ; ) . |
13. - : | ) , ; ) , ; ) , . |
14. - : | ) , . , . , , . ) , . . , - . ) , . - . , - |
15. : | ) , , ; ) ; ) ; ) . |
|
|