Павлов В.І. Логіка у запитаннях, відповідях і аргументаціях
Подождите немного. Документ загружается.
201
4. 33
a b c
)( cba o
cb
a
I I I X X X
I I X I X X
I X I I X X
I X X X I X
X I I I X I
X I X I X I
X X I I X I
X X X I I I
8 , (),
– XXX. 1 $
. 4 , $ ,
# . 1 #"
" , + –
. 6 , " & ( $
$ ). 4 , ,
, $& & "&, $ .
9.1.3 $- /0!,- -/, !:!78
,#,#$ / ( !',-?
-
# &
(
# ) $ () "
"" $ (
). 9$, $
, "
: ", , ’, "
, " ,
" . N+ * ,
" , + ",
*
" .
6 , * "
,
1) " ;
2) , + ", .
9$,
( ),
.
# , .
) : «=, +
) #, ». 8 $
: «N+ , + ,
, ». 8 :
202
«=, + ) #,
».
)" & :
ba o
b
6
$
.
4. 34
b
ba o
b
I I I I I
I X I X X
X I X I I
X X X I X
8 , !II,
. 4
. p , 3 $
%, ( ). 9$,
$: «=, +
) #, ».
) & , "
" &,
%
" . 9
3 & .
9.1.4 ) !/!78 0&!/' '("( /,-?
% #
() .
' $ "
, $ : «! «N+ ,
b» * ( *, ) b», b
$ .
5 -
$ :
«! _
1
, _
2
,..., _
n
, & -
, * () Y - ». 5
_
1
, _
2
,..., _
n
& (
") , Y –
.
' $ $ " ",
: «N+ _
1
, _
2
,..., _
n
, Y, +
*, ». 6 $ &
":
203
X
1
, X
2
, …, X
n
___________
_____
Y
/, $ . 1 $
", &
" (").
9 ! modus ponens,
X, Xo Y
__________
Y
9 ! modus tolens
,Y Xo Y
_________
X
9 ! «" »
X
,Yo
ZY o
_______________
ZX o
9 ! "
YX o
_______
XY o
9 ! ’
)( ZYX oo
__________
ZYX o )(
8 " $ :
9 ! modus
,ZX o ;ZY o
Z
YX
_____________
9 % modus
,YX o ;ZU o
Z
Y
UX
_____________
204
9 ! modus
,YX o ;ZX o
X
ZY
_____________
9 % modus
,YX o ;ZU o
UX
ZY
_____________
/ " " " % () $
$ %
.
8$ : " $
& .
= , , modus ponens,
& $ . ) ,
$, &, "
$, " &. 1, " ",
modus ponens
Y, _ X o Y
( ).
, $, " % ",
" , $, &
, . <, , «»
.
8’
% modus ponens ’",
", ,
$ .
/ modus ponens -
.
' .
B$ $ , "
, " ( %),
$. /
, $ "
" $ _
1
, _
2
, ..., _
n
,
$ $ " $,
,
’ .
205
9.1.5 0&#/ '("/F !!'
&--&/ /'(-?
'"
#
$ &
# . 2
( " ),
&& $ ,
$ %. 6,
9 " ;
9 " (" 1);
9 # ", * " 1 ,
.
5
#
%&&. 4 $ " .
5 " " " , &
, % " . '
$ %
:
X
Y
YX
_______
,o
Y
X
Y
X
_______
,o
# " " $ ,
’ 0 " (.
9.1.3). A " &
.
#"
YX o
“N+ , ”,
X
, “( ”. 9$, & & "&
Y
: “( ”, , ,
$ , .
', , & %
" " . 1 %" "
& " ,
$ & - %. >
& " ,
.
9.1.6 -78 /0 '(" 0/'/ &-!8?
( $ , " (") $
:
(,
),
(,
)
( "
).
206
' " $ " "
. ' ,
, &, .
9.1.6 !) 0/'/, 0’$! #7
5 &.
3: «, 4, , + * "
».
4: «
N # ».
4 %& $ $ ,
% . 93
: 6 . 1
, % – . " 6,
, $ , , $ (,
, ) .
4
. / «N , + *»
$ ( 6), $
: «4 », .
/, 6 (
), & ( ).
' $
, $ . 9&
. 6, ,
()
$. ), ,
" ,
– , & $
; « »
, . 6, %&
«»:
K . _ – . /,
– .
1
$ " :
, – .
> .
– % " &? 8.
– $&, (1 K , &.
8 .
6 – ,
$
. /
, ’" &.
207
B,
& , & 3
&.
B $ "
«4 #, " #,
», "
,
(), .
B $ ,
& –
. B $
,
" & & ,
: $, , , ". (
$ /. G, 5. O, 1. @
" " . 6, 5. O " "
: «%" , + "».
9.1.6 b) 0/'/ !&(-#!+
= &.
) " : «3 * , + !».
% + : «N+ " , , #"
».
' & (
), –
(&). ' $ % «N+ , b»,
: «N+ + , # *». 6,
«N+ b, a», , – , –
& (. 6.3.2).
( , &
"&, " ",
. 6
9 (
).
# & ,
9.
– N ... ... , – % ,
, .
– ) , , – 5# .–...
+ – & ! 4& + ,
#.
– Hem, , , – %. (/ " "
.) – , , #.
– ) &, – 5#. – ) , "
. ? " (G. 2Z. '& 1\
) O).
6 " ( 1, ) ,
, . <$ ,
208
@ :
". , , " ’
!
' , &
" ,
.
– 8 , + (* !
– /-! N (*.
7% – # ,
# .
O $ "
, & & $
.
Q , , + *
* ". 4 *:
– $ «7», " XIX, XV, : «!
...».
– % " ?
– N #? T *?
' $
# ,
$ . 2 ,
$ & &, $
, $
.
9.1.6 ) 0/'/ -/,-
' . / & ,
" & ,
. 6 & « *», & ,
.
#, " " " -
(
$) %. '
",
" ’ , &
".
)$, $ , G"-# .
/, – #
. 1 $ $, ? 9,
.
6 " ", "
, ( " "
). B
& . 1 $
,
«
».
209
/
, "
, $ . #, &&
( ). 1, ,
. 9
O&:
– 4 & , – =#. – ) "
" , .
– N , – %. – 8 ...
8 , " , " ... u ...
– u , – ?+. – 4 & +
, «N , » «N , »
!
– 4 & + , «0 , » «0
, » – ! – =#.
– 4 & + , – ", & ", , –
«N &, » u «N , &» – u !
– - , , u ! –
?+, " (G. 2. '&
1\ ) O).
6$ « % * $» , « $
* %», $& « -$ * -%» (
" " « »). 6,
$ % , $ .
6, , «) 1996 #» ".
6
# . 1 %&?
) &, %, .. 4.4.2.), $
: «), + ) 1996 #». 1
&, «) 1996 #». 4
,
" , –
# . B,
) ’, , !.
6 % «! 1996 #» $ ,
! ( $ ). 6 &
& «) 1996 #».
( $ ,
( ) , “”
,
& .
1 $ $
«) 1996 #»? 2 &
%&: , # $ . 6
" :
«) 1996 #»,
«) »,
210
& . E
(
"), .
> , $
, .
– 0 * ?
– )!
> $ $ ? 9
- ( *),
$ $ ( )
% -% -(-%),
% (. 7.1.1). E $ &
(!), & – $ “” “”. 4
& % , & $ $
" , . 6, ()
1 -% * (!).
1
$ , , $ . >
, & & $" ,
«), !»
«4, !».
9 , "
& " ’. 6
& «8 #" – #"». Q"
’&
, & " ,
’" $ &.
2$ $ , "$ :
– N+ " " ,
“’”!
B, $ :
, $ “’”.
1 $ " (,
$ “’”, )
( $
“’”, $ ). )
& , , – , – ,
( i ) $
.
9.1.6 d) E! 0/'/
/ , $
. #,
& 3,
"& . 6,