МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ КИЇВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ ІМЕНІ ТАРАСА ШЕВЧЕНКА
І. В. Хоменко
ЛОГІКА: ТЕО...
299 downloads
150 Views
1MB Size
Report
This content was uploaded by our users and we assume good faith they have the permission to share this book. If you own the copyright to this book and it is wrongfully on our website, we offer a simple DMCA procedure to remove your content from our site. Start by pressing the button below!
Report copyright / DMCA form
МІНІСТЕРСТВО ОСВІТИ І НАУКИ УКРАЇНИ КИЇВСЬКИЙ НАЦІОНАЛЬНИЙ УНІВЕРСИТЕТ ІМЕНІ ТАРАСА ШЕВЧЕНКА
І. В. Хоменко
ЛОГІКА: ТЕОРІЯ ТА ПРАКТИКА ПІДРУЧНИК Затверджено Міністерством освіти і науки України для студентів вищих навчальних закладів
До 175-річчя університету присвячується
Київ — 2010
ББК 87.4я73 УДК 16(075.8) Х 76
Гриф надано Міністерством освіти і науки України (Лист № 1.4/18-Г-1062 від 09.07.2007) Рецензенти: Омельянчик В. Й. – доктор філософських наук; Рижко В. А. – доктор філософських наук, професор; Бандура О. О. – доктор філософських наук, професор.
Хоменко І. В. Х 76 Логіка: теорія та практика: Підручник. — К.: Центр учбової літератури, 2010. — 400 с. ISBN 978-966-364-945-0 Книга складена з восьми розділів, які відповідають програмі курсу логіки для вищих навчальних закладів. Кожний розділ містить основи теорії й численні запитання та завдання, які систематизовані за трьома рівнями (початковий, середній, високий) опанування логічного матеріалу. Крім того, для тих, хто хоче вдосконалити свої знання, кожний розділ завершує рубрика «Творчі завдання». Для полегшення опрацювання навчального матеріалу з логіки підручник містить алгоритми розв’язання завдань з прикладами та відповідями. Для підсумкової перевірки знань читачі можуть скористатися розділами «Тести» та «Логіка в тестах і завданнях». Навчальний посібник розрахований на студентів, аспірантів, викладачів вищих навчальних закладів. Він може стати у пригоді всім, хто цікавиться логікою. ББК 87.4я73 УДК 16(075.8) ISBN 978-966-364-945-0
© Хоменко І. В., 2010 © Центр учбової літератури, 2010
. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
6
1. . . . . . . . . . . . . . . . . . . . .
9
1.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 1.2. . . . . . . . . . . . . . . . . . . 1.3. . . . . . . . . . . . . . . . . . . . . . 1.4. . . . . . . . . . . . . . . . . . . . . . 1.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
9 12 13 18 21
2. . . . . . . . . . . . . . . . 2.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 2.2. . . . . . . . . . . . . . . . . . . 2.3. . . . . . . . . . . . . . . . . . . . . . 2.4. . . . . . . . . . . . . . . . . . . . . . 2.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
22 22 26 28 30 32
3. ’ . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3.2. . . . . . . . . . . . . . . . . . . 3.3. . . . . . . . . . . . . . . . . . . . . . 3.4. . . . . . . . . . . . . . . . . . . . . . 3.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
33 33 42 46 54 57
4. . . . . . . . . . . . . . . 4.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4.2. . . . . . . . . . . . . . . . . . . 4.3. . . . . . . . . . . . . . . . . . . . . .
58 58 65 70
3
4.4. . . . . . . . . . . . . . . . . . . . . . . 79 4.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84 5. . . . . . . . . . . . . . . . . . 91 5.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5.2. . . . . . . . . . . . . . . . . . . . 5.3. . . . . . . . . . . . . . . . . . . . . . . 5.4. . . . . . . . . . . . . . . . . . . . . . . 5.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
19 110 116 141 156
6. ! . . . . . . . . . . . . . . . . . . . . . 164 6.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6.2. . . . . . . . . . . . . . . . . . . . 6.3. . . . . . . . . . . . . . . . . . . . . . . 6.4. . . . . . . . . . . . . . . . . . . . . . . 6.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
164 173 178 200 208
7.
" . . . . . . . . . . . . . . . . . . . 7.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7.2. . . . . . . . . . . . . . . . . . . . 7.3. . . . . . . . . . . . . . . . . . . . . . . 7.4. . . . . . . . . . . . . . . . . . . . . . . 7.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
214 214 223 225 233 245
8. # . . . . . . . . . . . . . . . . . . . 8.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8.2. . . . . . . . . . . . . . . . . . . . 8.3. . . . . . . . . . . . . . . . . . . . . . . 8.4. . . . . . . . . . . . . . . . . . . . . . . 8.5. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . .
248 248 259 264 277 290
9. $ . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9.1. « ». . . . . . . . . . . . . . . . . . 9.2. « ». . . . . . . . . . . . . 9.3. « ’ » . . . . . . . . . . . . . . . . . . . . . . . . 9.4. «! " » . . . . . . . . . . . 9.5. «# $ » . . . . . . . . . . . . . 9.6. «% » . . . . . . . . . . . . . . . . .
310 310 312 315 318 321 325
4
1
9.7. « & » . . . . . . . . . . . . . . 331 9.8. « " ». . . . . . . . . . . . . . 333 9.9. . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 336 10. % . . . . . . . . . . . . . . . . . 338 10.1. . . . . . . . . . . . . . . . . . . . . . . . . . . . 338 10.2. . . . . . . . . . . . . . . . . . . . . . . . . . 355 ! . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 374 . . . . . . . . . . . . . . . . . . . . . . . . 374
& . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 390 . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 397
5
Âñòóï
" ' ' ( (1724—1804) , + # & , , & . " &$, ’, $ / . , , # : #. # $ , / , , . ; +, +& , , $, : — &#, / :? # : $ , & # , ’ & & +. > " " @VII . : «B $ & & , # & $ , $ & , # $ #». C " : " $, :/ # ’ . !/ " # $ , # , / # . C — " : « ». " $ , "# " . ;& " & # #, ' # " - , +, " , " " . " $ / &- ' ' : " , , " , ' ' , , " , , ' +.
«! : » : . ($ , ( , , ) . ( , , , $ /: & « ». % / "# ’ . % $ « » «! ». ( $ .
7
! , , . . @ «! ». — (.: = , 2007; . . @ «E ». — (.: = , 2008. F , , , , / , , " , ' , , +. , , $ " .
8
1
Ðîçä³ë 1 1.1. - — , & ' ( , ) * .
G : & 2,5 . : : x " ( V .. . . — / @ @ .); x ( @ @ . — / ). " " . H " $# " ' ' < (384—322
. . .), — " ' ' >' !& " (1646—1716). - + — % , ,
% * * % .
: x ; x . - — , * ,
% .
9
— , * % * / % % . J # : - x ; - x .
* — ,
% . 0 * — , 1
/ " % . ! " # : x ; x ' . % — , * ( % % ). '% — , * % , "3 , * 1 .
+ : . : & . : # $ . 2.9. ; " $ : , ( " R . 2.10. /: :#.
27
3. % % % . 8 % ’% : % +& , & : 1. , & : , " . 2. , & , " . C , + : " $ & , , + , " , , / $ +. #": O «% ». " : , « $ @ , " $: + ; C ».
" : , U : J , U : J , U : !, U : .
$"%: 3.1. . 3.2. F . 3.3. F . 3.4. . 3.5. J . 3.6. ". 3.7. ! F . 3.8. The Beatles. 3.9. (" . 3.10. P @ ".
2.3. . !" 1. ! "3 % . 1.1. B $: , ? 28
2
1.2. L $ " , : ? 1.3. L $ " , : ? 1.4. L $ #
" ? 1.5. L $ #
" ? 1.6. L $ ? 1.7. L $ ? 1.8. L $ ? 1.9. B $: , &#: ? 1.10. L $ & , + : , ? 2. ! % % , * 1 . 27. 2.1. Y & O . 2.2. O /: . 2.3. Y " . 2.4. F C : # /#&. 2.5. Y " & . 2.6. F & . 2.7. " F . 2.8. ; ' ## ' . 2.9. ; , # $ " . 2.10. Y $ " . 3. % % % , * 1 . 28. 3.1. . 3.2. % $.
29
3.3. C. 3.4. . 3.5. J$. 3.6. = . 3.7. ' . 3.8. ' . 3.9. ( . 3.10. ’ « "».
2.4. . & 1. ! "3 * % . 1.1. % $ : $; # ; ; & "; $; ; . 1.2. L $ &’: ? 1.3. L $ " : x & ; x & . # . 1.4. L " : # ? 1.5. " $
J. Z. ! «> / »? 2. 0 * ’* % % , * 1 . 27. 3. % % % , * 1 . 28. 3.1. ! . 3.2. @ &. 3.3. P. 3.4. !#. 3.5. (. 30
2
3.6. !#&. 3.7. ; $ . 3.8. /. 3.9. . 3.10. ( . 4. % % % / % . 4.1. / «P » !. (
« . 2.5. R . 2.5. F " $ . 2.6. F . 2.7. . 2.8. O . 2.9. P& . 2.10. % . 3. 7 *, % * & " " ? 3.1. P. 3.2. \ . 3.3. '. 3.4. & . 3.5. P +. 3.6. H & . 3.7. (# . 3.8. @ . 3.9. P #. 3.10. . ’
43
4. 7 *, % * & %" " %" ? 4.1. ! &. 4.2. % . 4.3. ’. 4.4. ( /. 4.5. . 4.6. . 4.7. . 4.8. > . 4.9. % . 4.10. . 5. 7 *, % * & % " ? 5.1. ; / . 5.2. J . 5.3. F . 5.4. . 5.5. P . 5.6. %& . 5.7. !#. 5.8. ; . 5.9. ; . 5.10. C. 6. 7 *, % * & " % " ? 6.1. P $. 6.2. J. 6.3. " F . 6.4. \ . 6.5. C . 6.6. . 6.7. C& . 6.8. F - . 6.9. ( . 6.10. F -' . 44
3
7. - * , % * / , , . 7.1. ;& / F . 7.2. . 7.3. > $. 7.4. \ . 7.5. (" F . 7.6. J. 7.7. J F , / % . 7.8. E . 7.9. " F . 7.10. . 8. - * , % * / , , . 8.1. . 8.2. . 8.3. !#&. 8.4. ; . 8.5. > E . 8.6. ; . 8.7. . 8.8. ; . 8.9. . 8.10. > !& . 9. 7 *, / (8, D, , H, M) * .
. 10. 7 *, % * & , . 10.1. , . 10.2. J, . 10.3. , . 10.4. , & . 10.5. , &. 10.6. O #" ,
#" . 10.7. ( , . 10.8. C $ , $ . 10.10. , . 11. % , / % * *: 11.1. U $, ' $. 11.2. ! , . 11.3. P , . 11.4. , . 11.5. J , . 11.6. , . 11.7. ( , . 11.8. C, . 11.9. P $, # . 11.10. ; / , " . 12. * / % " %* . 52
3
8 % ’% : % +& / $ , & : 1. , : $ . B+ , / $ $. 2. C’, $ : , — . 3. / $ / $ . 4. C& / $ . #": O : , " # ' ) ' , " ! , " *, + / : ;. ; : , # «# », $ , $ $ / .
« » ( , : F , ! & $ F , & $ F , ( O, % & $ : .
- — , %* . ( % *
*. Q -
* . : x ; x ; x . 58
5
* — , " & . F —
, *
. — % , % "
* "
*. O # : x # ;
x .
%
% % — % , & % , , 1 *
" * . - % % &*, % *
% . ! — % , & % , / , 1 *
" * . ! % *, % " & % . 7 %* & / , % * / . 1 & " , " " * &
"
.
/ " # : x « »; x « ».
59
«0 » — , & , " & " * . « % % » — , & ,
* , " *
" * . 2 & % % & .
/ " « ». « » — , & , % * % , % * . 3 F * , " " * . 4 " " % , " * " . G
& " "
.
/ " : « & ». «" » — , & , & . 60
5
) - : $ ' " , ' " . ** G ' — " ,
" % % , " % * . O # ' " , , + # " : x ; x /. ' — ' , % * & %
"’& . R ' — ' , % * & %
"’& . - % ( ') — , % .
% * % . ( &-
: x ' :; x ' :.
! '& — , % % *. ! '& — , %
% * % '& . + - = % — % , & ' '& '&. *" B " :# «8 & »,
8 — , + # ( ' :), —
61
, # ## ( ' :). " + # % % "
% . O # . / $ :: x &- " ; x ; x " . 8" - % — %
% ,
% & % " /
/ . H % — % % ,
% & " , , . # % — % % ,
% & %
, %
%% / . . 5.3. . 5.4. . 5.5. ; . 5.6. > . 5.7. ( . 5.8. ( & . 72
5
5.9. . L . 5.10. . 5.11. F . 5.12. O F . 5.13. (' . 5.14. . 5.15. L & '. 5.16. ;# . 5.17. O . 5.18. P . 5.19. # . 6.14. O # . 6.15. F & . 7. - * %
% % . 7.1. !#: &, &. 7.2. — + / " . 9.20. " — ’. 10. = , "
% *, % * ? 10.1. «( & , + # " , — " $ ». (;. ! ") 10.2. «; , #, P " + F , ( + , J : . + : , F : & ,
: " + #& % & #…» (J. ") 10.3. « & " , # , , + & "
77
+ / " " … + , ( % / F $ & …, & , & / & & , « », «/ & », & $ — ". $ / & ! ", &, , $ & # $, « » " , , , &, $ , % &+ , $ , $ " : " . ! " & $, , , / #, — & , " $ & / …» ( . H «Z ! " (; )»). 10.4. «% — : $» (!. ( ). 10.5. «P ## — » (. ). 10.6. « " # — , " # — & !» (. ). 10.7. «< — " , & » (R ). 10.8. «K& , , + & $ $ . / $, + $ + $ . J ", #& & & : , $ ' , $, , » ( %# ). 10.9. «;&$ : ', : « », : : $ « ». : ,
/ . : « 78
5
& », $ — «$ ». " $ & , $ , + &: # & $ , : " #. ; / , , # : , & + & &# # / #. " : ' " #: &$ , , " &, , …; : $ , + : $ , # … / , $: » («% $», b 12 (691) 29 & — 5 2008). 10.10. « & , # ##, $ , — +, , " , + » ( ).
4.4. . & 1. ! "3 % . 1.1. L $ & $ ? 1.2. L $ & $ & ? 1.3. L $ # & : ? 1.4. L $ & ? 1.5. L $ , & / $ ? 1.6. F / , : # ? 1.7. F / , : ? 1.8. L &# &$ ?
79
1.9. L $ ' : ' :? 1.10. L , & , $ $ ' " ? 2. ! % *, * 1 . 74—75. 2.1. % : , / . 2.2. \ : $ , $ , , && . 2.3. F : , , , & $ . 2.4. P: " , $ , $ . 2.5. ;" : , , . 2.6. H $ : & ,
& , & , , &# , & $ . 2.7. : , , & , & . 2.8. % : , , , + . 2.9. J: , /, , . 2.10. L : &, , , . 2.11. ( : , , , / . 2.12. O : , , , . 2.13. @ : , , , . 2.14. : / , , , & . 2.15. : # , , . 3. * *. ! %, * 1 . 74—75. 3.1. !#. 3.2. J . 3.3. . 3.4. ;. 3.5. . 80
5
3.6. C. 3.7. $. 3.8. . 3.9. E' ). 23.5. ; $ ’ " + : /
, $ & / + . 23.6. / $ . B+ , & /. $ , /, / / .
129
23.7. F 1907 " ' " % : $ , . , + & #" , , + & #" , . 23.8. ( " — . — . ; " — . — . 23.9. F " . J. «C #, &
P » P & P . — : & " : $, & . B+ $ — / $ & / $. B+ — $ $ & $ $. 23.10. ( , : «= $ !» — « , + ». 24. (’#" # # $ &. L & $ # ’#" ? 25. %’#" & # # $ . L & $ &# ’#" ? 26. (’#" # & # # — $ &. L & $ # ’#" ? 27. L $ # & : 27.1. ; # & #. 27.2. ; #, & #. 27.3. #, & #. 130
5
28. , & % . 8 % ’% : % +& , : # #, & : 1. H $ #. 2. & ' &"# . B+ &" : , ' &# « », #, # #. B+ : — # #. #": O #: «/ , A », «! , # A », «A , ! # / # # ». H : .
/ ## : ' q ~r. % : ~p r. : ~r (p q).
&: " ' &"# . Z
p
q
r
~p
~r
pq
q ~r
~p r
~r (p q)
1
2
3
4
5
6
7
8
C " : &" , + $ # #, &"
131
: (6), ' , #, &# « ».
$"%: 28.1. & . B+ & , > & . 28.2. / 136
5
% . / % . $ , !. 31.6. B+ " + , & ; + " + , / . . !& " $ , ? 1.2. B : ? B $: , / ? 1.3. L # $ " ? 156
5
1.4. L : , + $ &- , + ? 1.5. B : ? B $: , / ? 2. " % ,
* ' ' H *, % % * . «% : & . B " $ : ?» 3. 0 * % " ,
* , 1 , / * % , % , % * . 4. D % * % "
/ * , % ’ * % . 4.1. &
