Логіка (Хоменко)
.pdf2.9.B + $ ,/ . = # ’: $-. $ …
2.10.B + & # , & . @ & . $ …
2.11.( $ & / , # , # -. % . # . - $ …
2.12.B + R — ,. R. $ …
2.13.B + &Q , - . = . $ …
2.14.B + & & & , & " . < & &-
. $ … 2.15. — ’# / . /
: ’#. $ …
2.16.B + & / ,: & - . & <. / .$ …
2.17.( $ & / , + . - . $ …
2.18.$ & / , + &’: : . -(. $ & / . $ …
2.19.& $ & & , + -/ . & (.& J. $ …
2.20.$ & , + & " . <. $ & " : . $ …
3. C % * % : «= 1 % & % , * ». %-
! |
181 |
, , , & *- , * , . ! % ’ % * % * -' ( ) - .
3.1., $ , : .
3.2.: , $ , $ -
.
3.3.: , $ , $ - .
3.4., - .
4.* - % -.
4.1.;. , , + .
4.2.B + & & " , , , & & # # #. < « » $ &- .
4.3.B + & ’ , + " , &.
5.-’ , " % * ' ( ) - % %- .
8 % ’ % :
% + & " , & :
1.C’ . B + " & , - .
2.' ( ) .
3.C’ , : # # ' # ( #) - - .
# ": O : « # . D — . * …».
182 |
6 |
C’ : . % ".
= $ & $.— .
$ , $.
' .
p q
____
q
«= $ » — ; «= $ $» — q.
= ' ( ) : #. - : $ - (modus ponendo tollens) - .
$" %: 5.1. = & / . . - $ …
5.2.R : & , & & #, && #. R " : $ & - & #, & #. $ …
5.3.= & , & & .. $ …
5.4.P- ' & . O '-& >. & . $ …
5.5.! & # , & . = — . $ …
5.6.; & " # # , & &-$. , + ; & $. $ …
5.7.; , "# , , & $. , + & -$ , "# & ’ . $ …
5.8.% , : , $ & & , & , & $# . % (. - ' $ . $ …
! |
183 |
5.9.; $ &" . " . $ …
5.10.; & # & & & -. B & & . $ …
6.«H % — », — / #. / «+ *& ». Q - % : « "-" & , " % & , / - % ».
% , , , & - * , * , . ! % ’ % * % - * ' ( ) %-.
6.1.: — . $ , J " — .
6.2.: — . $ , : — .
6.3.J " — . $ , J " — .
6.4.: — . $ , : — .
7.-’ , " % * ' ( ) - % -% .
8 % ’ % :
% + & " , & :
1.C’ . B + "& , .
2.' ( ) .
3.C’ , : # # ' # ( #) - .
# ": O : « $; :- , # - . $; — , -# ».
C’ : . % ".
184 |
6 |
B + " : / , # &-.
B + " — # , & .
C " & / , & #.$ , # & & - , & .
' .
p q r s
p _r q s
«C " : / » — ;
« # & » — q; «C " — # » — r;
« # & » — s.
= ' ( ) : #. - : .
$" %: 7.1. B & & , & # - ; & & + , . < & & : , & : .
7.2.B + # , : / . B + # & $, : - . = # : / : .
7.3.B & & ’ , & & & . B & & & & , & & & . < & & & .
7.4.B + - & ,. B + - & - , . < # : & .
7.5.B + : ' , : . B + : - & , : . < $
! |
185 |
& : ' , & : & .
7.6.B + / ,& ’ - . B + / ,& #. < & -’ , & : & #.
7.7.B + & & ,. B + & -& , . < && , & & .
7.8.B + #& , &. B + : ,. < & #& , & : .
7.9.B + & ; & # # #, & & . B & ; & - # # #, & & : , , + && : .
7.10.B + : #, -, # , & , ; + : - #, & , " . < $ & & - #, & #.
8. ! % -/ .
8 % ’ % :
% + & " , & :
1.C’ . B + "& , .
2.' ( ) .
3.C’ / .
3.C’ , : & .
186 |
6 |
# ": O : « #- , ; -».
C’ : . % ".
B + "#: ,& : .
" "#: .$ , " & : .
' .
p q
p_____
q
« "#: » — ; «J & : » — q;
= ' ( ) : #. - : $ - -.
$" %: 8.1. = : , -& , & .
8.2.B + & ’ , & . , + & — . $ , + & ’ , .
8.3.B + <. : , P. & & " . B + P.& " , : & . $ , + <. : , P. : & .
8.4.B + / & -
, $ & # $, +. < $ & #
! |
187 |
$, + . $ , - , + / &.
8.5.B + $, # $: , , -: + , + — — : - : #. $ , $.
8.6.<& / / , & & , & , + / - / $ , & & / &$ #, $ . $ , & .
8.7.«B + — " & , & . B + — " / , -& . — " & & / . $ , — " & » ( ).
8.8.J : : «R / >. : . < & : . ; >. .27 & & " . ( : . O. , + >.& ! . # + -, & !-. $ , & 27 ( : . C :, + + >. : - #. , >. ».
8.9. B + ' ' — , . B + ' ' — , ' .& .
8.10. B + < & , -< . $ , + < &, & .
9. -" * % * % -.
8 % ’ % :
% + & " , & :
1.C’ $ , : .
2.C’ $ , : .
3.C .
188 |
6 |
# ": O «) ;». = $ $ (<).
F : -$ (E) «J
# ;».
C / .
F # ".
$ , $ : & .
$" %: 9.1. F F # .
9.2.\ : - .
9.3.% # .
9.4.\ #" : # :#.
9.5.% — .
9.6.F , + : $: , — .
9.7.P / .
9.8.% .
9.9.% : .
9.10.F # / .
10. -" * % * % -" .
8 % ’ % :
% + & " , & :
1.C’ $ , : .
2., $ & .
3.C’ $ , : .
4.C .
# ": O «) :; '»». = $ $ (<).
FS+, O–.
F& : -
$ $ ( ) «! , :; ', ».
C / .
! |
189 |
F # ".
$ , # , # " , : .
$" %: 10.1. \ : .
10.2.F & # : .
10.3.J # .
10.4.\ # : & & #.
10.5.% : .
10.6.% # $: .
10.7.% " .
10.8.F — & .
10.9.($ # + .
10.10.($ & # + .
11. -" * % * % -.
8 % ’ % :
% + & " , & :
1.C’ $ , : - .
2., $" .
3.C’ $ , : .
4.C .
# ": O «) - $ ». = $ $
(<). F " $ -.
F : -$ (E) «J :, : $' , ».
C / .
F # # .
\ , : # , : # .
190 |
6 |