Хоменко І.В. Логіка: теорія та практика
Подождите немного. Документ загружается.
161
B+ " ’ ,
& ?
4.11.
($, $ "#,
, &:. U ,
$ $ & & ", &
. = :, + & : -
, — . ; $
&. ; $ &" -
: « & &# "». B-
+ / ", ,
+ $ , &. B+ -
", &, + $ , .
&: ", , -
#, + " $ &
?
4.12.
U , $ &: "
& . ; &" / :
«<& " , & " / -
». ; &" / : «"
/ ». & &
& &.
F ", #, + & -
&?
5. 7 & " % ,
«», % * * ,
", % "/*. *, 1
/* " , " ".
! %’% % * % "-
%.
" %’% %.
5.1. < — ", / &. < -
$:: «, &».
@ ", &?
5.2. < : «B — &, & — "». @
", &?
5
162
5.3. < : «<& &, & 2 + 2 = 5». @
", &?
5.4. < : «B — &, &». @
", &?
5.5. : /" (<, , )
.
— " &? — < ",
& .
, &, + "
.
— K <? — " .
— < , + — &, — .
— ; ! , — .
L $ , "
&?
5.6. , + " -
< / : « "
?» " < &. -
" / & : «K
<?». : «< , +
"». : «; ! &/!»
" , " & (
'").
5.7. <, ,
$ , + & ", & &.
%: (< ) .
<: J &.
: ".
C’, : <, .
5.8. , + < -
## ,
<: J &.
: &.
, — ", — &.
5.9. : <, . %:
— < — ## .
<: — ".
: B+ < — ", — ".
K $ <, ?
163
5.10. , +
&. : <: «L : &?».
<: & :, + + ".
L $ ’, <, :
&?
5.11. , + , "
&, ’ #, & ,
, &/.
:: <, . ", -
— &, — #. -
.
<: B — #.
: = .
: B — #.
@ <, ?
6
164
Ðîçä³ë 6
6&) 6&)),
6.1.
! — ,
% & /
.
" #:
x , # -
#, +
;
x , #
#, + .
; / « /-
», — «
».
O# ' ()
. : $
$ /, #
# $ "
. & $ .
# :
x ;
x .
— ,
"%* & % %-
.
-
-
3
#
!
165
0 — -
, & % % -
% *.
, &#
#, : :
x ;
x - ;
x - ;
x - .
, &#
#, : :
x « &»;
x « $».
b ;
H ()
%
1 < o , o
< o
2
2.1
2.2
F- -
$ (modus
ponens)
C
(
modus
tollens)
< o , <
< o , a
a<
3
3.1
3.2
O- -
C-$-
(modus tollendo
ponens)
$--
(modus ponendo
tollens)
< , a<
< , a
<
<
, a<
<
, a
<
<
, <
a
<
,
a<
F , -
# -
, -
&
&.
F
&
«-
/ ’#-
"»
6
166
b ;
H ()
%
4
4.1
4.2
4.3
4.4
F-
-
< { , { , <
< { , B { D, <
D
<{, <{, ~ ~
~<
<{, {D, ~ ~D
~< ~C
0
b
;
H ()
1 «C &»
< a
a<
2 «% -
$»
a< a
<
D%& — ,
* % %.
%, — -
.
O# & :
x ;
x &;
x ;
x .
3
.
4-
167
!
b ; H () %
1 < E F S : O.
\ S : -O.
E < \ S : O.
F S : -O.
% S : O.
% S : -O.
% S : O.
% S : -O.
2 & < (S
+
, O
–
)
< (S
+
, O
+
)
<
F S : O.
% O : S.
F S : O.
F O : S.
E E \ S : O.
\ O : S.
(S
–
, O
–
)
(S
–
, O
+
)
<
% S : O.
% O : S.
% S : O.
F O : S.
; $
&
168
6
b ; H () %
3
< E F S : O.
\ -O : S.
E \ S : O.
% -O : S.
; $
% S : O.
% -O : S.
4J
4.1 /
()
<
;-<
E
;-E
;-
;-
F S : O.
;, +
S : O.
;, + S : O.
% S : O.
\ S : O.
;, + S : O.
;, +
$ S : O.
S : O.
169
!
4.2 /
$
()
<
E
;-E
;-<
F S : O.
;, +
$ S : O.
\ S : O.
;, + S : O.
4.3.
/
(&)
;-
;-
;, +
S : O.
% S : O.
;, + S : O.
% S : O.
4.4. /
<
E
;-
;-
;-<
;-E
F S : O.
% S : O.
\ S : O.
% S : O.
;, + S : O.
;, + S : O.
;, + S : O.
;
, + $ S
: O.
6
170
(() :
. , -
— $.
F ( # :
x / (S);
x &/ (O);
x (J).
J/ : &’: (S) $, : -
(. P/ : (O).
J/ : ,
:.
J/ &/ # -
(.
-, * /
%* / %.
-, * "*/
%* "*/ %.
% +& (, -
#
.
P/ .
J/ .
.
; + $ -
(.
% —
/
* / * -
.
3
.
-