http://rucont.ru/efd/208296
, .. . : . / ...- : , 2009 92 .
http://rucont.ru/efd/321
, .. . / ...- : , 2004 ISBN 5-7779-0444-0.
: , , , .
5. . (-5, -6) 2
:
1. , , , . .
2. : . : , , . . : , .
3. , , . .
4. . . : ( ), , .
5. : , , , , .
6. . , , .
7. .
:
1. , .. []: / .., ..; ..-.- .: ; . -, 2013.- 336 .- ( ).
2. , . . []: /. . -
.-7- ., .-.:,2008.-368 .
2. , . . []:.
. /. . .-.: - -,2007.-224 .:
.-( ).
3. , . . []:.
. /. . .-.:,2007.-136 .
4. , . . : . . / . . . .: , 2002.
5., . . : . / . . . .: , 2004.
6., . . / .. . .: . . -, 2005.
7., . . : . / . . . .: , 2005.
8., . . / ., ., .., . . . . .: . .: . . -, 1998.
9. .. :. ./..; . ... .: , 2000.
10. , . . : . . / . . . .: -; , 1999.
11., . . : . . . . . / . . . .: , 1994.
12. : . . .: , 1994. : : . .: , 1994.
|
|
13., . . : . / . . . -: . ̻, 1997.
-
http://rucont.ru/efd/208296
, .. . : . / ...- : , 2009 92 .
http://rucont.ru/efd/321
, .. . / ...- : , 2004 ISBN 5-7779-0444-0.
: , , .
.
6.3.4.3. /
/ .
( )
.
( )
1. :
) ;
) , -
();
) , ;
) , , ,
( ) .
2. :
) ;
) ;
) ;
) ;
) , ;
) ;
) .
3. :
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
4. :
) , ;
) , ;
) , ;
) , ;
) , ;
) , .
5. , :
) ;
) ;
) ;
) ;
) ;
) .
6. ,
) ;
) ;
) ;
) ;
) ;
) .
7. :
) ;
) ;
) ( ).
8. , :
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
9. :
) ;
) ;
) ;
) ;
10. :
|
|
) (.).
) ? (..)
) .
) ? (..)
) .
) , !
11. , , :
) S P;
) S P;
) S P;
) S P.
12. S P :
) .
) .
) .
) .
13. , , S P :
) S P;
) S P;
) S P;
14. :
) , .
) .
) .
) .
) .
) .
) .
15. :
) , ;
) , ;
) , , ;
) , .
16. , : p, q, r :
) ;
) ;
) ;
) .
17. p q, () :
) ;
) p - , q- ;
) p , q ;
) ;
18. :
) ;
) ;
) ;
) .
19. , , , :
) ;
) ;
) ;
) .
20. :
) ;
) ;
) ;
) ;
) ;
) ;
) .
21. (M) :
) ;
) ;
) ;
) ;
) ;
) .
22. ( ) :
) ;
) ;
) , ;
) .
23. , :
) , , , .
|
|
) . , , , .
) ., , , ., .
) . , , .
24. ():
) , .
) . XX , , XX .
) , , .
) , , .
25. ( ) :
) , , ;
) , ;
) , .
26. , modus ponens:
) . , , , ( ), .
) , , . , .
) , . , , .
) , . , , .
27. - :
) a, b; b, c; a b, , b c;
) a b; a, , -b;
) a, b; -b, , -a.
28. , :
) : , . , . , . , .
) , . , . , . , , .
) , . , . , .
) , ; , , . , , , ( , ).
29. :
) ;
) ;
) .
30. :
) ;
) .
31. , :
) ;
|
|
) ;
) ;
) ;
) ;
) .
32. , :
) .
) .
) , , .
) , , ,
, , , .
) .
33. : , ( ):
) ;
) ;
) ;
) .
34. :
) - ;
) -
;
) - ,
.
35. :
) ;
) ;
) .
36. :
) ;
) ;
) ;
) ;
) ;
) ;
) .
37. :
) ;
) ;
) .
38. , . :
) , , .
) .
) , , .
39. , p, q, r; , p , q; , r:
) ;
) ;
) ;
) .
40. :
) ;
) , ;
) , ;
) .
41. :
) - ;
) - , ;
) , .
42. :
) ;
) ;
) , ;
) ;
) ;
) , .
43. :
) ;
) ;
) - , .
44. , :
) ;
) ;
) ;
) ;
) ;
) ;
) .
45. :
) ;
) ;
) .
1. , - .
:
) ;
) , ;
) ;
|
|
) ;
) ;
) ;
) ;
) .
2. ( ):
) ;
) ;
) ;
) ;
) .
3. . :
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
4. , :
) -
.
) .
) .
) .
) .
) .
5. ( ).
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
6. ( ):
) , , , , ;
) ; ,
; , ;
;
) , , , ;
) , , , ;
) , , , , ,
;
) , , , ,
, ;
) , , , , ;
) , , ;
) , , , ;
) , ;
) , .
7. :
) ;
) ;
) ;
) ;
) ;
) ;
) ;
) .
8. , , .
9. ? , :
)
.
)
, ( ) .
) ,
.
) , .
) , .
) .
) .
) , .
) .
) " , "(.).
10. , .
11. . :
) ;
) ;
) ;
) .
12. ? , :
) 12 .
) .
) .
) , ,
.
) , .
) ,
.
) , , , , .
13. , .
) " " (.).
) " ?" (.).
) " !" (.).
) " ?" (.).
) "3 - " (.).
) " ?" (.).
) .
) " ". (. 7.7).
) " -?" (.).
) .
) .
) " ?" (.).
) - .
) .
) .
14. . (SaP, SeP, SiP, SoP)
a) "He ". ().
) " , ". (.).
) " ". (.).
) " , ". ( 4, 22).
) , , .
)" ". (.).
) , .
) .
) 3 .
) " ". ().
) .
) .
) .
) .
15. .
16. , :
) .
) .
) .
) .
) .
17. , , . .
) , .
) .
) .
) .
) .
)
)
) .
) .
) .
) "... , ..." (.).
18. ?
) . . , .
) , , , .
19. , . , , :
;
B , ()
) ;
) ;
) ;
) , .
20.
) " - , . , ". (. ).
) " , ,
, ,
". ().
) , , ,
, , , .
)
, , . (.).
) , , .
) " , , -, , , , , , , ". (. . III, 17).
) ,
,
, , ! (.).
) " ,
, ". (.).
) " , , . , ". (.).
) " , ". (..).
) " : , , ". (.).
) a, b c .
) , b .
) , b .
) , b .
) , , .
) , .
) , .
) , , , , .
21. , , ?
) , ;
) , ;
) ;
) ;
) - ;
) , .
22. ( : - ; ). , :
23. , :
) b, aΛb , a ?
) a, aΛb
, b ?
) a, aΛb ?
) a b, aΛb ?
) b, aΛb
, a ?
) a b, aVb
?
) a, aàb
, a b ; (aàb) , a b ?
) a ,
: aΛ(aVb); (bàa) àa; aV(aΛb)?
24.
) .
) .
) .
) .
) .
) .
) .
25. ,
) ,
.
) . ,
) . .
) . .
) , , .
26.
) .
) .
) .
) .
) .
) .
) .
27. ,
) , , .
) (). , .
) , , , , .
) (.). , .
) , ( ). .
) " , , ; , . , , ; , . , ". ().
28. . . .
) , , .
.
,
) .
.
,
) .
.
,
) . . .
"" . . .
,
) .
.
,
) .
.
,
) 3 .
.
,
) .
.
,
) .
.
,
) .
.
,
) .
.
,
) .
, , .
,
29. . , , . ,
) . .
) , .
) ,
.
) , , , .
) , .
) , .
) . ,
.
) " . ,
, , ". (. ).
) ", ! , ! " (. . ).
30. , ( ). , .
) " , , , ". . .
) , , , , .
) , ,
. .
31.
) , .
, . ,
, .
) , .
, .
) " , ". (.).
, .
) . , ", , " ( ), .
) ,
. , . , .
) ,
. . , .
32. . :
)
, , . , . , - , .
) ,
, :
, ,
, . , , . ?
! .
. . ( . ..: 8 . . .1. . 189).
) "... , , ...
, , ..." (.-. ).
) : , .
, (
). , .
33. - , , :
) ,
. , . , . , , . ( ).
) ,
: - , . , . , .
) . N , ,
. N ,
. ,
.
34. ( ) ?
) .
) .
) .
) .
) , , , .
35. . ?
) . . . , .
) . ,
.
. , , .
) " :
, ", . " ?" . ", , , . . - ".
) , .
36. . .
) . 30, .
.
. : , , , . , .
) " , , , , , , . , , , , ; , , , , ; , , , , " ( ).
) " , . , ". (. . ).
) " ,
; .
! ... , , . , !" ( " 1649 1660 ").
1. : , . : , , . , . . . , .
2. , , , . - , , . , . , .
3. . , , , . , , ?
4. : 5, 8, 13 15 . : , , . , . ?
5. , , , , , .
, , :
1) ;
2) ;
3) ;
4) .