Хоменко І.В. Логіка: теорія та практика
Подождите немного. Документ загружается.
111
1.9. B # # ,
?
1.10. B :?
1.11. B :?
1.12. B / ## $ #-
"?
1.13. K ?
1.14. B $ #?
1.14. B $ ?
1.15. B $ ?
2. % *.
-’ .
8 %’%:
% +& $
’ , &:
1. C’ &’:, ’ $.
2. , : $ $-
(<), (E), -
$ (), ().
#": O $ «) -
». : &’: — «-
», — « », ’ — «».
= $ $ (<).
$"%:
2.1. \ #" : # :#.
2.2. P/ .
2.3. % " : .
2.4. P- #" : #.
2.5. ( : .
2.6. % .
2.7. — /.
2.8. # /.
2.9. ; # — .
2.10. % $ — / .
2.11. P- $ — .
2.12. F — #.
2.13. < — .
5
112
2.14. # — .
2.15. R — .
3. %, % * & -
.
3.1. \ , " .
3.2. % !
3.3. : #.
3.4. &.
3.5. :.
3.6. ; ’ .
3.7. " F — (.
3.8. «B , »
(J. O).
3.9. « :» (. $).
3.10. «F, & , , » (. R-
).
3.11. «;$ » (>").
3.12. «B $
, : ?» (>").
3.13. ; // &,
.
3.14. « # # /
/ ’» (J. O).
3.15. «! # $» (. ).
4. -* .
= ?
4.1. \ & # -
.
4.2. : .
4.3. ; # — .
4.4. «; » (J. P).
4.5. B+ / , :
&.
4.6. F #& # .
4.7. «C # ?» — <»
(!. ().
113
4.8. F " — &-
>&.
4.9. % -$ $ &
& '.
4.10. B+ :/ & , / -
, ", .
5. % * « * »
« %* %» * -
% .
6. = %’ ( ) %-
:
6.1. & & .
6.2. : '' & #-
'.
6.3. & & " &
&.
6.4. &: & & -
.
6.5. ; & & (:, &
@.
6.6. <& +, & +.
6.7. <& , & .
6.8. C $ & & &-
$.
6.9. O& #: :# ##
& # &.
6.10. F & :
&, & : .
7. ! % -
*.
8 %’%:
% +&
#, &:
1. #, +
#.
5
114
2. C’, #
", +
#.
#": O # « #, #
». = #
: « #», «
».
# :#
«&». Y : «-
/ ’#"».
% /, -
# «». G :
«».
$"%:
7.1. :, +.
7.2. — #, + : .
7.3. !# , — +.
7.4. %& & / &.
7.5. ; / , / .
7.6. «P -
» ().
7.7. « & , & -
» (>").
7.8. «B& " & & , #
& / &$» (>&).
7.9. «@ , &» ().
7.10. «C :, : , " :»
(. R).
8. % * ?
8.1. «; $ & $ $
, &-
, +& &, + & $, &
» (<).
8.2. -
:, +& & -
. = (-"
F $# : «O
115
+ & /
&#, » (
275 (( F «J$ »).
8.3. (-" -
F
/ / , +
: " , &-
: ; : " -
; " ;
: #
... ( 324 (( F «, + -
/# »).
9. %, % * & -
*. -’ .
9.1. <. & .
9.2. $
.
9.3. B $#, + :.
9.4. ; " : ".
9.5. C&: .
9.6. C$ & , + " .
9.7. ; $ & .
9.8. & : &#.
9.9. B , &/, & , :.
9.10. % .
9.11. C$ .
9.12. — .
9.13. ; " /.
9.14. J&: $ .
9.15. P &’:.
9.16. , +: .
9.17. « $ &-
:» (. %$).
9.18. «; :! ; $ &! ;
!» (. ).
9.19. «P — , »
(. R).
9.20. #, $#.
5
116
5.3. . !"
1. ! "3 %.
1.1. L : $ ?
1.2. O $ -
: $-
; ; :; ; ,
'# / $ ; -
$.
1.3. K #, &
? L $ #
&
#?
1.4. K " ?
1.5. K : -
#?
1.6. % #? L -
# #?
1.7. % ? L -
# #?
1.8. B $ #?
1.9. B $ ?
1.10. % . ;-
&" .
1.11. L # $ ,
?
1.12. L # , -
, #?
1.13. O -
: ; -
; .
1.14. K / $ -
#? B $ , : -
# # &
&#?
1.15. K / $ -
#? B $ , : #-
?
117
1.16. K / ? B
$ , : / -
$ #?
1.17. O #
: #-
; , + ;
, : " #.
1.18. L $ -
# -
#?
1.19. L $ ?
1.20. B :?
1.21. B " -
’ $ &#?
1.22. B :?
1.23. L : $ « -
» «& »?
1.24. L $ & #?
1.25. L $ & -
#?
2. ! % .
8 %’%:
% +& $
’ , &:
1. C’ $ (&’:,
’).
2. $.
3. C ' () $.
4. $.
#": O $ «! '
#». : &’: —
«: », — «&»,
’ — « :».
= $ (). Y -
'() : #: «% S : O».
F " $ &’: — (S
–
),
— (O
+
).
5
118
$"%:
2.1. ( — " F.
2.2. ($ # .
2.3. % # — .
2.4. P- $.
2.5. ; — .
2.6. = — / .
2.7. % $.
2.8. F # .
2.9. \ & : .
2.10. P- : .
2.11. % : $.
2.12. % : .
2.13. \ $ $ & &.
2.14. P- : #.
2.15. % — .
3. %, % % & '
*. #"3 *.
3.1. .
3.2. (p o q) .
3.3. q o p.
3.4. (p o q) (q o p).
3.5. a(p q).
3.6. o (ap aq).
3.7. p a aq.
3.8. a(p q) o (ap aq).
3.9. (p (p q)) o p.
3.10. (p (p q) o p.
4. %, % % & ' -
. #"3 *.
4.1. x (P(x) R(x)).
4.2. x (P(x) R(x)) { .
4.3. x (P(x) { R(x)).
4.4. x (P(x) R(x)).
4.5. P()
R(x).
4.6. P(, b).
4.7. x (P(x) n R(x)) { (a).
4.8. P(x) ~R(a).
119
4.9. (P(~x) R(x)) { ~.
4.10. x (F x, c).
5. -* '-
.
8 %’%:
F ', : -
#, $ $ -
, #
', & .
1. F ' (~<) &
/ $ ~.
2. F ' (< ), (< ), (< ), (< o ),
(< l ) &, -
, $ , , , o, l,
$ < .
#": O ' ((p o q) l (apaq)). G $
(< l ),
< — (p o q);
— (apaq).
= :, + -
' : — -
" (l).
$"%:
5.1. q.
5.2. (p o q) q.
5.3. (p o q) (q o p).
5.4. a(p q).
5.5. (p (p q)) o (ap aq).
5.6. p ((aqo p) o (ap aq)).
5.7. a(p q) o (ap aq).
5.8. (p (p q)) o p.
5.9. a (p (p q)) o p.
5.10. a (p (p ~q)) n (p ~q).
6. 4% % -
*.
5
120
8 %’%:
% +& ' #, &
', #
#, &:
1. #,
#, -
" .
2. C’, # -
", +
#. .
3. C ' #.
#": O # « «A:» # «"-
» «@» , «E» -
; ».
= #, ’ :
x «» : — p.
x «» : — q.
x «C» : — s.
x «H» / " — r
x B # — z.
% $ #
: «…, …», «…#…»
«……». G #
«"», «’#"» «’#-
"».
C/ ' #:
((p q) s) o (r z).
$"%:
6.1. C / /.
6.2. !$ &’#.
6.3. > "# $.
6.4. B+ & , & -
/ , & .
6.5. < /, & & .
6.6. ; , & -
.
6.7. B+ & , $
"#.