.


:




:

































 

 

 

 


. , , .




(logos - .) - , , . . - . . , . , . , , . . , - . 3 : , .

2 :
1)
2)

:
-
- , ,

, , , . , .

. . , . . . .

, .
, . 3 :
1) . ( , )
2) .
3) .
-, - , -.

- , ; , ( ) ( , . . . :
1) , ( , , , , .);
2) ( , , . .

() : , . (, ) ( ). - .

2. .
, . , , , . . . , . . . , , , . , . . 2 , 3, . , . , . 100 . .
. . 11 , . . , . . . - . 18 . . , . 19 . . 1- , 0- . 20 ., . , , . 20 . . ..

3. . . . Modus ponens.
, . : . , , , .. , , . , : , . , . , , , , , , , .. , , . , , . : .
. . - , , . , , . . , . . , , . . . , , . , , , . , , . , , , , , , - .
. ( ). . (*→→**), "?" . ( , ( )). - , . , . - , . . . * - . ** - . , .
Modus ponens. . . →

4. . .
- , .
.
, .
- , . .
- , . .
ZB: () - , 1 , 2, - .

5. . . .
, . ,
-
: ( ) ( )
- , , . .
:

1. ( ) (1 )
2. ( , )
3. ( )
4. ( ) ( )

1. ( ) ( )
2. ( , , )
3.
4. ( ) ( -)
5. ( - , . ) ( ): ( ) ( )
( ).
:
1) ( - - , - - ) - ; - ;
2) ( , ) - .; - ;
3) ( , ) - , -

6. . . .

1.( )
2 ( )
3 ( )
4 ( )
5 ( )
- , . - , , ,
( ); ()
( )( . )
( , , .) ()
. , . "" " " " ". () , . , .. , , , . "" , , . ( ) , . . , , . () () () , . : . : . (, "" ""). "" "" : - . : "" "". , - "" - . (), , Ξ.

7. . . .
2 , . . . , - . , .
: , , . =

. =
, , , , . , . , , .
, . .
: .

8. . .
, , , . , , .
. , . , , .
:
1) (,, , D) ,, - .. ; D - . . (,, - )
2) ( ) - ; -
3) ( - , - , ) - , -

9. . . .
, , .. .
, ,. .
(. , . .) ( , . , ) . . . ( , ), ( . . . , . .) - . . , -, , , , -, , , , , .
, , , .
:
1. . .
2. . .
3. + .
4. .

10. . .
, . , , . , , .
:
1. . , .
2. .
3. .
4.
, .

11. C . .
- , - , .
. , : " ", " ".
, , .
: " ."
- - "".
- -"".
- , , - "".
- ""

12. . .
:
1. .
2. . : " ", " ".
3. . : " ", " ".
:
1. - . : " S P" - " ". (S+, P-).
2. I - . " S . " - " ". (S-, P-).
3. - . " S . " - " ". (S+, P+).
4. - . " S ." - " " (S-, P+).
, , . : .
, . : .
, . : .
, . : .
, , . : , .

13. . .
, - .
, / : , , ..
, , , .
:
1) ;
2) ;
3) . , , .
, , .
, , , - .
, .
, :
1) , ;
2) , , .
- , , (- ). , .
-,. .
: 1. 2. 3. .
:
1. : " ?"
2. .
: " ?"
: ", ?"
:
1. ( ).
2. .
3.

14. .
, : , , , , .
, . ,
. , . ( ; . ).
, . , . . ( V). , ( ), , . , . , . , , .
: , . ... , : , .
, ( ). , ..., ....
- , , , .

15. . . Modus tollens.
, .
- .
: , .
, .
, " , " .
, " , " " , ", , , ,
Modus tollens - .

à

.

16. . .
. , . , .
. , . .
1. . , .
2. , , . , .
3. , , , , . , . , - . . :
- ;
- ;
- ;
- .
. , . .
1. , . , . , , .
. , .
. , .
2. , . , . , . , .
. : , , . , XII :
-, -I (), - (). I-O (), -I - .

17. .
, . . . 16 .
.
, .
:
1) ;
2) ;
3) .
, .
, , .
, .
, , .
: 1) ; 2) .
, , .
, .

18. . . .
, , ; .
, ( ).
:
1) p q p q
3) p q p q

p -
q - q

19. .
.
1. . . ( ).
.
2. .
, ().
" "
" "
3. . : , .
, .
4. . , .
, .
. ""?
(), (), , ( , , , ).

20. ; . .
: ; . : , - ( , .
() . : , : b, -b. , .
, , , . .
. () , I .
( ). ( : -).

21. .
- , , , , .
: , , .
() .
( ) .
, , .
, .
( ), ( ) . , . . . . .
.

22. .
:
1) ( )
2) ( ). , ( . . .
3) ( ).
.

A --> I
E --> O
.

à
à
: .( . . .)
I à O
OàI
.
()
(.)
() I
()I
.

23. .
- , .
-
-
-
, , - .
: .
1. - .
- ( ).
- . - ( I).

:
- - .
I - - . - .
.
2. - , .
- .
.
,
I O, O I





:


: 2016-11-12; !; : 449 |


:

:

.
==> ...

780 - | 742 -


© 2015-2024 lektsii.org - -

: 0.025 .