Хоменко І.В. Логіка: теорія та практика
Подождите немного. Документ загружается.
121
6.8. — ".
6.9. ! $, # &.
6.10. ; : , &
&.
6.11. B+ #, & #
, + + #, : .
6.12. , -
.
6.13. @ :, :.
6.14. «K F, , »
(. L&).
6.15. ; &, , &, ", -
$ .
6.16. «@ , &, &»
(!-").
6.17. «" , #, / -
, :» (. R).
6.18. «!# + »
(. %$).
6.19. «, +, # #, , ,
» (J. ).
6.20. «; /, &# %,
& » (J. ("#-
&).
7. 4% % -
*, -
1 . 119—120, % , 1:
x "#: — p
x "#: — q
x < "#: — s
x + — r
x + — z
x < + — .
7.1. "#:, "#:.
7.2. B+ "#:, +.
7.3. , + "#: : ,
+& & +#.
5
122
7.4. & "#, + +-
.
7.5. B+ , + "#: : &
, +& & +#, < &
+.
7.6. B+ "#:, +-
, < "#.
7.7. B+ , < "##,
+.
7.8. + , -
< "##.
7.9. & +#, + <
"#.
7.10. B+ "#: , < -
"#:, "#: , "#:,
"#: , < "#:.
7.11. & "#, + &
<, & , "##.
7.12. B+ "#: $ "#:,
< "#:, & +#,
< & +.
7.13. & +#, + + -
< $ & +.
7.14. & < +, +
"#:.
7.15. , <, "##, +-
.
8. 4% % -
.
8 %’%:
% +& ' #, &
' #
, &:
1. C’ , + -
#, .
2. C’ , + -
#, .
3. C ' #.
123
#": O #: «! -
». % : «&-
» «& ».
O R.
; # $ -
(«»). = '" -
&: «’#-
"».
C/ ' #:
x (P(x) R(x)).
$"%:
8.1. — /.
8.2. ($ — " .
8.3. P- : #.
8.4. : .
8.5. P/ .
8.6. ; #& & $.
8.7. \ : -
.
8.8. @.
8.9. % $ .
8.10. ; : .
8.11. F / .
8.12. ; «».
8.13. \ /: /.
8.14. K & # .
8.15. R '.
8.16. ; &.
8.17. < .
8.18. (& & ".
8.19. ; & .
8.20. # /.
9. 0 * -
. - * '. " -
& , 1"
" / .
9.1. O — #.
9.2. P O — .
5
124
9.3. P O — #.
9.4. O #& %$:.
9.5. %$: #& &.
9.6. %$: #& &.
9.7. P O #& & %$:.
9.8. %$: #& O &/, $ &.
9.9. P- #& %$:.
9.10. ; #& & %$:.
9.11. P O #& .
9.12. @ #& O &/, $ &-.
9.13. P- # #& .
9.14. P- #& &-
#.
9.15. P- , & : , #-
& &/, $ &- #.
<. P(a).
P. x F(x,c).
. R(d, c) Q(c, a, d).
>. R(d, c) x ~F(x, d).
^. R(d, c) S(b).
%. R(b, a) x ~F(x, d).
E. R(b, a) R(d, c) ~F(b, d).
U. R(d, c) F(c, d).
\. R(b, a) x ~F(b, x).
C. R(b, a) ~P(b).
. F(c, c).
Y. F(a, c).
(. x y Q(x, a, y).
!. x y z (W(x) R(z, x) O(z) P(y) ~O(y)) {
{ Q(x, z, y).
M. x y ((W(x) O(x) P(y) ~O(y)) { F(x, y)).
10. 4% %
% , 1:
O — «& #».
Q — «& #».
R — «& /:».
F — «& ».
125
V — «& &».
W — «& ».
S — «#».
B — «& $#».
O — «& /# #».
a — , : «%$».
10.1. F — #.
10.2. % — /.
10.3. \ : /:.
10.4. % , &.
10.5. %$ : : &.
10.6. ; # — .
10.7. \ : &.
10.8. % # ## $.
10.9. % / ## $ #.
10.10. % $-# : / .
11. ’#" #-
: , q, r. " , + q — -
. B r?
12. L $ $ ’#",
#, +
, ?
13. %’#" « & q» — , " q —
&. B ? L $ -
" «&»?
14. # q : ,
’#" . L $ -
: «&»?
15. # .
B & :, +& ,
+ :
15.1. & .
15.2. .
15.3. .
5
126
16. 4% .
16.1. # , q, r .
16.2. # , q, r &.
16.3. # , q, r .
16.4. # , q, r .
16.5. # , q, r &.
16.6. ; &/ # , q, r .
17. L $ & # ", : &-
? &Q .
18. L $ & &# ", : &
"? &Q .
19. # o q . K $
l q?
20. # o q . K $
q?
21. = %’ ( ) %-
:
21.1. «& & , +& ,
& #, +& » (<' <').
21.2. «J , & & &, -
#, + +» (F P. -@&).
21.3. «%’ #, -
:, : , : — & , -
, — #»
(%$. !).
21.4. «$ , + &/ : -
/ — $ , , +
&/ — / &
» (\ !&#:).
21.5. «J , + :, $-
: $ $ $:
& , & » (J’:).
21.6. « : — " &
&, & , & , & -
&» ().
127
21.7. «> : / &
& , /
& , -
/, $ /
» ( 14 (-
F «> »).
21.8. ;,
& $, $ &
.
21.9. « & & # -
$ " & -
, + $ :-
"#, + " " & &# &
, — #…» ( 114 (-
F «F»)
21.10. «@, &, & / -
-
, + $# &# #
" #…» ( (-
F «G»).
22. - "* -
*, &
%.
8 %’%:
% +& , : $ -
# ,
& # # -
&" , &:
1. H # #
#.
2. F ', '-
", '. ($ '
: &".
3. $ &
" ( '-
). ( &" &## '-
5
128
# 2
n
, n — "
'.
4. & $ '
$ & . &
' # &-
.
# ',
, -
', -
.. ;" &## '-
# # -
.
5. , : $ # -
, & -
#.
#": O # «H,
# )',
, , '
)'».
H: . ::
a(p q) l (ap aq).
' ': p,
q, ap, aq, p q, a(p q), ap aq, a(p q) l (ap
aq).
= ' # $ -
&".
bp q ap aqp q a(p q) ap aq a(pq) l (ap aq)
% $ '
" , # -
': p, q. F ’ " &" &
2
2
=4, & ,
$ & " : , !,, !,
, !, , !.
&: &"# .
129
bpqap aqp q a(p q) ap aq a(pq) l (ap aq)
1
2
3
4
; &" $ , +
$ # : ,
-
.
$"%:
22.1. (p q)) n (q p).
22.2. ~(p q)) (ap aq).
22.3. (ap { aq) { (q { p).
22.4. (p { q) { (aq { ap).
22.5. (p { q) n (ap q).
22.6. (p (p q)) { p.
22.7. (p { q) (q { p).
22.8. ((p { q) (q { p)) n (p n q).
22.9. (p q)) n ~ (ap aq).
22.10. (p { q) { ((q { s) { (p { (q s))).
23. F /* % (% -
, % , % -
*) :
23.1. ; &, .
23.2. = , /.
23.3. «, &,
$, » (P :).
23.4. «F $ #: #:-
, : :» (> E').
23.5. ;$ ’ " +: /
, $ &/ +.
23.6. / $ . B+
, & /. $, /,
/ / .
5
130
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. #,
&#.