Logika-Homenko
.pdf
H " |
+ % , |
|||
; " + |
- |
, |
|
. |
) ++ |
, |
( |
- |
|
« / ’+ - " » .
/ . / #’! — " $ - , " . ' $,# " .. & - ' $ " " $ ".
< ! ( " |
& |
|
||||||
( &) ’+ |
" & : |
|
|
|
|
|
||
|
|
|
|
|
|
|
|
|
|
Z :/ |
|
A |
B |
|
A B |
|
|
|
|
|
|
|
|
|
|
|
|
1 |
|
i |
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
|
2 |
|
i |
x |
|
i |
|
5 |
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
4 |
|
x |
x |
|
x |
|
|
|
3 |
|
x |
i |
|
i |
|
|
|
|
|
|
|
|
|
|
|
# "-& " , ; « » ( +( — «* ) (,) ». ' - — « ( - ) ’+ " ».
* B , «* ) (», + ( «* (, ) ) -», «* / (», «*, % (» ; .
" !& (%) ’$
/ & ( &) ’+ " &, ( ) ’+ " - -« » ( — «* ) (, ) ». B & "— « ».
& ! ; |
111 |
* + : «7 -> # ) &!». < +$ $:
(1) «7 > #». (2) «7 &!».
( : p q (- « p, q»).
< + ( " -, ; $ +, — $ .
C ; ( $ +, &$ ’+ " $ - + " $ , ( -$ $.
H + ’+ " ,+ , && + , $ , ; + , -+ , A-, .
) ++ , (« / ’+ " » .
/ ( ) #’! — " $ - , " $, # " #. !. J " -
" $ . ", # " 
#. !.
< ! ( |
" |
& |
|||
( &) ’+ |
" & : |
|
|
|
|
|
|
|
|
|
|
|
Z :/ |
A |
B |
A B |
|
|
|
|
|
|
|
|
1 |
i |
i |
x |
|
|
|
|
|
|
|
|
2 |
i |
x |
i |
|
|
|
|
|
|
|
|
3 |
x |
i |
i |
|
|
|
|
|
|
|
|
4 |
x |
x |
x |
|
|
|
|
|
|
|
112 |
5 |
«* (» ( : «* ) B, ) », «) *, ) B», « *, (», «*, , % (», « *,
(» .
+& , * + |
, " |
"" & : «/ % ) ' ! ! |
|
), ! ». |
|
< + |
$ $: |
(1) «4 ) ' ! ! )». (2) «( ! ».
( : p q (- «C ; p, q»).
Q |
|
|
" - |
+ , |
$ |
|
|
: |
|
|
|
1. * % "
+, % , + |
- |
|||
|
. A , - |
|||
, " , |
, ( " |
|||
|
. |
|
|
|
2. C % |
, + |
|
, |
|
% + - |
, - |
|||
— $ . ) " ( -
|
, ; |
, |
( |
+ " &, , ( , - |
|
$ +. |
|
|
3. * |
|
% , + |
( , % +-- $ , — . # - " +, "$ $ $ + , " ++ , ; ( + % , $ --+ " +, , "" .
5
& ! ; |
113 |
4. * % +, : % , + - $ .
) " |
$ - |
|
|
( . H + , -& - |
|
" |
" |
% . |
% , " - " + &$. # -, ; "" ( ( " .
) ++ |
, ( - |
|
« " » . |
>$ — " $ , " . ' $, $' !-( ) , ( ) — -
.. ' $ $ .
< ! ( " |
- |
||||
" & : |
|
|
|
|
|
|
|
|
|
|
|
|
Z :/ |
A |
B |
A [ B |
|
|
|
|
|
|
|
|
1 |
i |
i |
i |
|
|
|
|
|
|
|
|
2 |
i |
x |
x |
|
|
|
|
|
|
|
|
3 |
x |
i |
i |
|
|
|
|
|
|
|
|
4 |
x |
x |
i |
|
|
|
|
|
|
|
* ( , «/ % *,
(», + |
: «* , - |
(», « * # $ |
(», «(, % *» ; . |
B ( $ + - (-« $ » « » & & ( " &, &).
; ! . ! $ < $ < (- <, <), + # << $ .-.
114 |
5 |
1. / ! — $+$ # .
2. ) % — $.
|
+ |
«* # ) (» !- |
|||||||||||
|
|
|
|
+ + " : 1) ( *; 2) * (. |
|||||||||
|
|
|
|
; ! ! $ < $ < (- |
|||||||||
|
|
|
|||||||||||
|
|
|
|
<, <), + ; |
|
# , |
- |
||||||
|
|
|
|
, $ |
( ) |
; . |
|||||||
|
|
|
|
$ .. |
|
|
|
|
|
|
|||
1. |
; — , ; $ |
||||||||||||
|
. |
|
|
|
& & — |
||||||||
|
2. |
|
|||||||||||
|
. |
|
|
|
|
|
|
|
|||||
|
+ |
«* # ! (» !- |
|||||||||||
|
|
|
|
+ + " : 1) * (, 2) ( *. |
|||||||||
|
) ( « , |
|
$ », |
||||||||||
|
« $ |
, |
». |
|
|
|
|
||||||
|
1. |
|
|
2 - |
$ |
+, |
- |
||||||
|
+ + |
6. |
|
|
+, |
- |
|||||||
|
2. |
|
10 - |
||||||||||
|
$ + + |
|
2. |
|
|
|
|
||||||
|
|
|
|
B |
|
|
|
& & |
|||||
|
( " &, &) ( |
$ |
, |
. |
|||||||||
|
|
|
|
B ! " & $ + |
|||||||||
|
« " ». |
|
|
|
|
|
|
||||||
.- * + |
, ( |
||||||||||||
, "" &- - " : «4 ) |
|||||||||||||
- ! ! , |
- |
||||||||||||
' ! ! $ ». |
|
$ $: |
|||||||||||
|
< |
+ |
|
||||||||||
(1) «4 ) ! ». (2) «( ' ! ! $ ».
5
& ! ; |
115 |
( : p \ q (- «p , q»).
Q |
" |
+ , |
: |
1.* % " & +. ) " + " -, % - , , -, + , , -.
2.+ , " &
% . ) "-& " , , ;+ + , -
% " &, |
&& % . |
) ’ " " |
( " |
$ . |
|
3. + , $ - " & % . < - . A -& " , && "- ++ $ .
4. + |
|
" & |
||
% . ) " |
$ |
|
||
|
|
( , |
|
|
-& " . ' -
+ |
, (- " , ( "- |
|
. |
||
) ++ |
, ( - |
|
|
|
« " ». |
B — " $ , " -$, # "#. !. J " " $ .-
", # " #.- !.
116 |
5 |
< ! ( |
" |
- |
||||
" & : |
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Z :/ |
|
A |
B |
A \ B |
|
|
|
|
|
|
|
|
|
1 |
|
i |
i |
i |
|
|
|
|
|
|
|
|
|
2 |
|
i |
x |
x |
|
|
|
|
|
|
|
|
|
3 |
|
x |
i |
x |
|
|
|
|
|
|
|
|
|
4 |
|
x |
x |
i |
|
|
|
|
|
|
|
|
* W ( (: «* ! , B», «*, % ! % (», «/ % *, ( », «*, % ( (, % *», « * ) ! (», «* (» ; .
« " » ; - + + "-+. < ", ; " !- $ -& & ( " &, &).
+ |
«* # ) ! - |
(» ( |
, + - |
« " »: * W (, + - |
|
|
« " »: 1) (* () (( *); |
2)(* () ( * ).
5.6.7 & 8 $
|
+ - ( - |
||||||
# , |
. < — ( |
||||||
&- |
), |
|
( |
), - |
|||
# , |
( ). |
$( , |
|||||
# |
% - + |
|
. |
||||
|
|
|
|
|
|
|
|
|
' , |
|
+ ( |
|
|||
|
, |
- " ( |
|||||
|
" |
- |
), |
- ( " |
|||
|
|
$ ). ' |
|
|
- |
||
5
& ! ; |
117 |
+ . + + + , ( -+ % . G$ -( . $ -( , + $ ," &, ; .
/ + . ! , - -+ . / + $ - % , ,. $ -&$ ( . ' , $«/ !» " ++ % -, , -, - " &. /-( + .+ ( + : &$ +-( % . $ ( + — +
% |
. < +- |
||||||||
+ %$ |
" — |
|
|||||||
( |
, $ %- |
. ' - |
|||||||
, |
|
|
|
||||||
+ ; |
( +, |
( , — |
|||||||
|
). |
|
|
|
|
|
|
|
|
|
|
$( |
% , |
. |
|||||
+ + $, ! , |
$ +- |
||||||||
( . G$ ( |
! |
||||||||
|
|
. "- |
|||||||
! "$ - , ; + |
&$ |
- |
|||||||
+-, ’- |
( |
& |
|||||||
" |
& . ) " |
- |
|||||||
$( |
. , |
|
|||||||
|
$, |
+ |
( |
+ |
( &$ |
||||
+- ( % ),
+ |
( % . ) " |
||||
$( |
|
. |
% |
- |
|
$ + |
|
|
|
, & |
|
( |
|
, |
- |
||
- |
. |
|
|
||
118 |
5 |
|
|
|
|
" # — ! , - |
|
|
|||
- |
|
|
|
# ; # |
|
|
|
||
# |
|
|
|
" . % — # ; |
|
|
|
|
! . |
++ . -- -.
A $ , " ++ (+ .
$ — ! , .# ; # " -. $ — # ; . - 
!.
& ! — !- , # ; # ! # ; # " .
# ’ # # . , .-.
) " + " , $ ( , - + - , - + .
* |
$: " - |
$ " . |
|
' |
#! & |
+ " $ - |
|
, ( "- + , $$ $ $ .
5
& ! ; |
119 |
B " $ :
1.L + ++ .
2.) ! , & !- " &, ! . A ( ! -- " .
3.( $ -
" $ |
$ ($ ! ). A- |
||||
" $+ ! + 2 , |
|||||
— |
$ ! . |
||||
4. |
|
|
( & & ! |
||
( |
|
|
|
$. |
|
* + |
, |
|
- ! |
||
(p ( q) ~p. |
|
|
|
|
|
! "-& ! - p, q, ~p, p ( q, (p ( q) ~p.
< ! + ( - " :
Z :/ |
p |
q |
~ p |
p [ q |
(p [ q) ~p |
|
|
|
|
|
|
B ( & ! $ - " , + && ! : p q. ) ’ " " 22 = 4.
- "+:
Z :/ |
p |
q |
~ p |
p [ q |
(p [ q) ~p |
|
|
|
|
|
|
1 |
i |
i |
x |
i |
x |
|
|
|
|
|
|
2 |
i |
x |
x |
x |
x |
|
|
|
|
|
|
3 |
x |
i |
i |
i |
i |
|
|
|
|
|
|
4 |
x |
x |
i |
i |
i |
|
|
|
|
|
|
120 |
5 |