Логіка (Хоменко)
.pdf
Ðîçä³ë 5
& ! & 0& )), !6 7 )),
5.1.
% |
C — " * , - |
|
& % . |
|
|
|
% + & , $ , |
|
& ’ $ , . |
— , % & % ’ %% % " % .
B + — " , $ -— " . $# , + $$# # .
F $ ## -:
&’: ( # # # S);
( # # # C);
’ .
"’& — , % &.
— , % & % ( " / ), 1 - * "’& .
&’: # $ .
|
91 |
-’ % — , % & / "’& .
C ’ $ & $#, + $## « », & #, +$# # « ».
! ' ( ) $ :
S : ( :) P.
C # $ # : % ;
;
.
-* — , - * " % * * % *-.
F — , - * " % * * % -.
# — , - * " % * * % -.
C # $ # :
$;
.
* — , -* * % .
- * — , % * * % .
92 |
5 |
-- %
C # # $ # :
$ ( # # 8);' «F S : P».
( # # E); «F S : P».
$ ( # # ); «% S : P».
( # # #); «% S : P».
$ % * % , 1 "* " / , "& * % * .
= # : S+, P+.
$ % * % , 1 "-* " / , " & * % * .
= # : S–, P–.
O $$ # & " .
|
; $ |
|
|
|
( |
O |
|
|
|
|
|
||||
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
C - |
1. F |
— |
|
P |
1. S+, P– |
|
|
$ |
# . |
|
|
|
|
|
|
(<) |
|
|
|
S |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1. |
|
|
|
|
|
|
|
|
S, P |
|
|
|
|
2. < : - |
2. |
|
2. S+, P+ |
||
|
|
. |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
93 |
C - |
\ : |
S |
P |
1. S+, P+ |
||
(E) |
: . |
|
|
|
|
|
|
|
|
|
|
||
L - |
1. % — |
S |
P |
1. S–, P– |
||
$ ( ) |
. |
|
|
|
|
|
|
|
1. |
|
|
|
|
|
|
|
S |
|
|
|
|
2. % : - |
P |
|
– |
, P |
+ |
|
|
|
||||
|
. |
2. |
|
2. S |
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
|
|
||
L - |
% : "- |
S |
P |
1. S–, P+ |
||
( ) |
. |
|
|
|
|
|
|
|
|
|
|
|
|
#- J$ $ " ##
% / . % " $ $%-- # $ .
— , * -, % * % * .
/ $ $ $# , : .
AE
IO
94 |
5 |
-
- 0
1. / $ < , $ $ E - # / .
X :
B + # $ (< E) ,$ ( ) .
B + # $ (< E) & ,$ ( ) & .
2. / $ < E # /.
X : $ < E $ &, $ & & .
3. / $ # /.
X : $ $ & -, $ & & .
/ $ $ < , $ E - # / .
X : $ - $ & & .
«$ », , - " " . ; -#$ : « #- ».
F " # # ( # , #- , , , #-+ ). F ’ " ## -" $.
|
95 |
; / # $# -# .
! — - , * " % * *' , * .
F # - # .
% # $ & " :
;
& .
B + ' , # , : , # : , + : — & .
& # %, & % .
#- , & , : & &’: : « » « & », & . " ## , + # # , & # — & .
# , & ,$ , + #: # "# , & , + - # # , + & -.: , & $ , .# $ $$ , $ .
% # # :
;
.
96 |
5 |
% * , 1 & " / - , / % * .
% # # -* ( % ), -$# #- , , $## .
($ " : . O-& / #.
-- 0
+ * — / , % % -*.
G # ' ' .
I.8 '
1.% % :
p, q, r, s, p1, q1, r1, s1…
= - # .
2. - :
— ( # : « », « , …»);
— ’# " ( # : «… …»);
— ’# " ( # : «… # …»);
— " ( # : «…, …»);
— " ( # : «…
, …»).
= - " .
|
97 |
3. $ % :
(– $; ) — $; , — .
II.% '
1.P- " : ' #.
2.B + 8 — ' , ( 8) $ ' . 3—6. B + 8, — ' , (8 ), (8 ), (8 ), (8 ) — $ : ' .
+ — / , -% %
*.
J # ' ( & ) & . F " -: ' .
I. 8 '
1. ( ) : a, b, c, a1,b1,c1 …
= , , .
2. ( ) % : x, y, z, x1, y1, z1 …
($ $ &" -, & : $ ,$ . -.
98 |
5 |
3. :
P, Q, R, S, P1, Q1, R1, S1 …
= .
4.- :
— ( # : « », « , …»);
— ’# " ( # : «… …»);
— ’# " ( # : «… # …»);
— " ( # : «…, …»);
— " ( # : «… , …»).
= -" .
4.- :
— ( # : «#- »,
« », « »);
— ( # : « », « »).
5.$ % :
(— $;
)— $;
,— .
II. % * " %
|
|||
1. B + t1,t2 |
,...tn |
: "in — - - |
|
, "in |
t1 , t2 |
, . . . tn : ' #. |
|
|
|||
1. |
P- : . |
||
2. |
P- : . |
||
2. B + & — ' , (~&) $ ' . |
|||
3—6. B + & D |
— ' , (& D), (& D), |
||
(& D), (& n D) — $ ' .
7. B + & — ' , q — ,q& q& : ' .
|
99 |
-*" 1 '-
$ # - & # - # & . %& " .
- — , - * % " , % "-— .
& " .
Z |
8 |
8 |
|
|
|
1 |
|
|
|
|
|
2 |
|
|
|
|
|
G ’ — , & -/ , -& . / -& " .
& " ’# "
Z |
8 |
B |
8 |
|
|
|
|
1 |
|
i |
i |
|
|
|
|
2 |
|
x |
x |
|
|
|
|
3 |
|
i |
x |
|
|
|
|
4 |
|
x |
x |
|
|
|
|
" / %’ — - , " " / - , % " * " . / -" .
100 |
5 |