Logica_uristiv-Konversky
.pdf*. " |
201 |
|
8. > |
|
|
* |
# |
|
#
« |
». |
|
6 |
|
- |
, |
- |
|
-’ . , « % , )
100)».
6 ’ & - , .
6 ( . Modus – , ) – - |
|
|
, ! ! - |
. C # - |
|
: « |
», « », « », « », |
« ’ » . |
|
|
3 |
# |
|
: |
|
|
) |
’ |
|
) |
. |
|
+ ’ |
# : |
|
1);
2);
3).
7 , - , .
, «+$ », «+$ -» ) .
7 |
- |
|
, - |
. |
|
, «6 ' &1/ », «< 0 » ) .
7 -,, , ’ .
202 |
. . . |
, «# % % », « % , ) $ 4 % 6 », « % , ) » ) .
+ # :
1)( )
2).
B - -.
, «3 , $».
/ # # - # .
, # :
1.«+$ »
2.«X ,
; ».
+ " # ,# , # ’ , . A # , &-, # -. 7 -
. $.
/ - , . B -! ,! .
, «X ,» ) .
'
# |
, |
|
|
. |
|
, |
«; , ) |
|
». |
||
3 |
, - |
|
, ' & ' -.
*. " |
203 |
9.
! -, - . 8 ’ -" . $ , ,& - # " ’ . D -’ - , ,, # . / ,
+ |
|
|
– , # - |
|
|
|
# |
||
|
|
|
! . |
|
4 , |
|
# , |
||
« » « », « » «-
». |
|
5 |
, |
|
. |
, «D $ -?», «& 9 ?».
5 |
|
, |
||||||
|
|
!, |
|
! . |
||||
5 |
|
|
|
: |
||||
) |
, |
|||||||
) |
|
|
|
. |
||||
* |
|
- |
||||||
|
! . |
|
|
|||||
/ - , ( ) - . , «5 0
?».
8 ,
|
! . / |
|
. , «< - |
) + ?».
B . 7 -:
) ,
) .
204 |
|
. . . |
B |
, |
|
-.
> , , -
,– . ,
«D 1 ?».
7 : «D " < », – «R », «5 »
. |
|
8 |
, |
|
! . |
3 & .
, «< % -DRD . $ «N " +--< » ?» : «4DRD .».
10. > .> G G
7 , -’1. , «+ -0, – - »; «+ " 0 -$, » ) .
+ -:
) ’ ; ) ’ ; ) ;
) .
3 #
1 $ ' §3 B3 .
*. " |
205 |
. / #, ' -
: « », « », « ) , », « , ) » ) . 6# ' -# . 0 ## ' (), # & " - # .
% # , ' - .
6 ! –, ! -
. $ :
— #
— ( # ! # ).
1. + - # :
p, q, r, p1, q1, r1,....
2. + ’ ( )1 – , &, , , .
3. / , # - : (, )
' # #:
1. J- #: p, q, r,
p1, q1, r1,...
2. 0 2 – & , # # .
3. 0 / $ & , / & $, / $, / $, / $ # # .
1 * ’ # , &-. / & ' #- & .
2 + " & # . $& ’-, & . * # #& ’-. !, p, p q, p q .
206 . . .
4. ! 1, 2, 3 &-' .
> , 1 ' & ' -, 2 3 –
.
! & & & -& -( 9<) .
$ : p (q (r q)).
6 : / $, / , $ –
(q (r q)).
% # , & 6$5 3' & '.
0 # « p (q », - & ' & 65$, # & '.
$ 65$ # -# ’ ' & .
, # «5 ) '0 ,».
& |
|
|
!: |
. 7 ,. 3 "' :
1.« ' ».
2. « % 0 ».
3. « -
».
* # #: 1 – , 2 — q, 3 — r.
. ' , -
.
A # : & . $" -
, -# :
(p & q) r.
*. " |
|
207 |
3 |
# # ’- |
|
,’ - ' .
, « ,0 »
«... », ’ { , &, , , }.
1 & , & # , -- , - ’ & 6$5. 3 " « , )
0 ,
) 0 ». +#:
p & q.
11. < > >
# - " , # .
# :
—.
B - , ,
.
, A & B .
8 -
, .
, A & B / & 7; / 7, .# :
—.
7 ,.
208 |
|
. . . |
8 |
, |
|
|
|
|
. |
6 - |
|
: |
|
) , |
|
) ! , |
|
) . |
|
' -:
) ,
) .
A " -- , :
p q p q p q p q p q p q p q p q p q q p p q p q p q
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 |
2 |
3 |
4 |
5 |
6 |
7 |
8 |
9 |
10 |
11 |
> -,
! .
4 ' , - :
((p q) i ( p q)), ((p q) i (p q)), ((p q) i ( p q)).
> ! -, -
.
! , -:
((p q) i (p q)), ((p q) i (p q)), ((p q) i ( p q)), ((p q) i (p q)).
*. " |
209 |
|
|
|
|
' |
/ $ |
|
|
, , / |
|
, $ – .
4 ' , "# :
((p q) (p q))1., ((p q) (q p)),
((p q) ( p q)), ((q p) ( p q)), (( p q) ( p q))
0 # " ': # .
$ / $ - ,
- . ! -:
((p & q) i (p & q)), ((p & q) i ( p q)), (( p & q) i ( p q)).
> |
- |
|
|
/ $, ! |
|
|
|
, |
( ’ ). |
||
A , |
- |
|
, ((p |
& q) i ( p & |
|
q)), (( p & q) i (p & q)). % #
" # |
# # |
||||||||||
: |
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
$" # |
# |
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
+ |
|
! |
|
|||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
||||||
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|||||
|
|
|
|
|
|
|
|
|
|||
|
|
|
|
|
|
|
|
||||
|
|
|
|
# |
|
|
|||||
|
|
|
|
|
|
|
|
|
|
||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
||||
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
1 – .
210 |
. . . |
4 & " # # , , # , - & .
% *0 # $& ( )$% )&
? |
1.0 # " & ' # ?
2.# .
3." : «$ », « »
« ».
4./ #.
5. # .
6.= # .
7.8 # .
8.$ " # - # .
9.$ -# .
10./ # " .
11./ # " -.
12.4 & # .
13.+ # .
14.+ « ».
15.$ # ’ -.
16.8 .
17./ .
18.$ .
19." - .
20.$ -# .
21.G " # -# .