Добавил:
Upload Опубликованный материал нарушает ваши авторские права? Сообщите нам.
Вуз: Предмет: Файл:

Logika-Homenko

.pdf
Скачиваний:
50
Добавлен:
20.03.2015
Размер:
1.25 Mб
Скачать

37. ) -&) % L:

:. +

, (

.

, $ .

M. +

. ( , $ -.

38. -)D%'-F%; — F+:

:. M

.

M. )

 

( .

. *

 

.

39. ) -&) '-)D%'-F%E L:

:. , . M. , . . , % .

40. ):<-=+<<; — F+ /%=<- +,-F%; <- :

:. . M. # .

41. (<% ():<-=+<<; — F+ ():<-=+<<;, ( ;')0:

:. B !

-

!

-

-

, ;

$

 

%

( .

-

-

, ;

$

M. B !

-

!

 

%

-

.

-

-

, ;

$

. B !

!

 

%

 

 

.

 

 

42. ) -&) ;(<)0 ():<-=+< L:

:. : -"

,

, " .

M. :

-"

,

, " .

. = ,

, " .

43. ) -&) <+;(<)0 ():<-=+< L:

:. , -" , -.

M.

 

, , "

.

.

 

, ,

.

44. ,)* &-&), %?<)&)

():<-=+< , L:

:. , $,

 

,

.

M. , $,

 

, ! .

+ .

. H , , , "

9

281

45. '+ ():<-=+<<; + ',) )(< / () ( P(-<<;

,-() <+:

:. B +

— " +

, -

 

- .

 

, -

M. B +

— " +

 

- +

.

 

. B +

— "

+ ,

- +-?

46. O -'+ /%=<+ :<-=+<<; () ( P(-<<;:

:. $ + .

M. + ?

47. ')& )&( & :<-=-P /%=<)* =-

<)' «' <’P<'F%;»:

:. M.

. ?

48. ')& )&( & :<-=-P /%=<)* =-

<)' «<+ , /- ):’P<'F%;»:

:. M.

. ?

49. ')& )&( & :<-=-P /%=<)* =-

<)' « , /- ):’P<'F%;»:

:. M.

. ?

50. ')& )&( & :<-=-P /%=<)* =-

<)' «%& %'-F%;»:

:. M.

. ?

51. ')& )&( & :<-=-P /%=<)* =-

<)' «+'(%(-+<F%;»:

:. W

M. . ?

282

52. '% / (<% :-' <) /%') () :<-L +:

:. #

( ,

+

,

-

 

.

 

,

.

M. #

, (

. #

( ,

,

+

 

?

53. '% () ) /%=<)0 (% < >+< & G<- (-< () )

&%G '- <)&) () ( P(-<<;&):

:.

%

 

, %

 

, -

%

 

 

.

%

 

 

, -

M.

%

 

(

,

 

%

.

 

,

% (-

. %

 

, %

?

 

 

 

 

54. '% & -< % (0 ; '- -+ )=<)0

() ( P(-< :

:. /$ , ( , . M. /$ , , . . ( , , ?

55. '% & -< % (0 ; '- +& ,- -

<)0 () ( P(-< :

:. # ( , ( , , .

M. /$ , ( , . . # +, ; ; + , ; ?

56. '% & -< % (0 ; '- + % +&%=<)0

() ( P(-< :

:. # +, +, + .

M. , $

, ( .

. B ,

, ?

57. '% & -< % (0 ; '- + < )=<)0

() ( P(-< :

:. B , , ’ . M. /$ , ( , .

. , , ?

58. % G+<<; ? -;' / :-)-<<; +,+ ?-=-L

(,-0 (-<<;:

:.

 

.

M.

 

.

.

.

 

9

283

59. O -'+ + ' )(<+ &%,' (-<<;:

:.

, ( -

%

 

.

M.

,

$ ( -

 

 

, $

 

.

.

, ( -

%

(

?

 

60. ) & G + ' )(<% &%,' (-<<; ? ) <+ ,--

() <)&):

:. ' . M. / ?

61. ) & G<- :- & / P + ' )(<)0 &%,' (-<

,)&-) ( ?], < (-)) (%, /% <+ :<-<<;:

:. ' . M. / ?

62. ) /-,-< L % )<<% :-< ('%( + ' )(<-

& &%,' (-<<% % )<<% () < (' :

:. ' . M. / ?

63. ,;&% + ' )(<% &%,' (-<<; — F+ &%,' (-<<;,

( ;')0:

:. - . M. # + .

. ( + + $ - + .

64. + ,;&% + ' )(<% &%,' (-<<; — F+ &%,' (-<-

<;, ( ;')0:

:. - $ .

M. - -$ .

. ( + + $ - + .

65. 0+&- & (< / &%,' (-<<; &-L -')* ()-

/ ; :

:. , "

"

M., " "

.,

284

66. "& (<-'-+/ ,)=<% &%,' (-<<; &-P :

:. B $ .

M. ' $ . . .

67. 0+&- modus ponens &-L -')* ()/ ; :

:. , "

M. ,

. ,

68. 0+&- modus tollens &-L -')* ()/ ; :

:. ,

M. ,

. ,

69. : % (-'-+/ ,)=<% &%,' (-<<; &-P :

:. B $ .

M. ' $ . . .

70. '% : <-(+ +<)0 0+& <-+G- modus tollendo ponens:

:., "

M. ,

.,

71. '% : <-(+ +<)0 0+& <-+G- modus ponendo tollenens:

:., "

M. ,

. ,

9

285

72. '% : <-(+ +<)0 0+& <-+G- , E ' <-

, ' )(< E ) +&):

:. ,

M. ", ",

"

.,

73. '% : <-(+ +<)0 0+& <-+G- '- < E ' <-

, ' )(< E ) +&):

:. ", ",

"

M., " D,

D

.", ",

"D

74. '% : <-(+ +<)0 0+& <-+G- , E +-

, ' )(< E ) +&):

:. , ", "

M. ", ",

"

. ",

"

75. '% : <-(+ +<)0 0+& <-+G- '- < E +-

, ' )(< E ) +&):

:. C, ",

"

M. , " D, D

"

. ", "

"

76. M<-* % 0+& &%,' (-<<; «:(+ +<<; -?-

, »:

:. , " D, D

"

M. ^

. ^

286

77. M<-* % 0+& &%,' (-<<; « (+ +<<; (% ,-

) +G< / »:

:. ^

M. ^

. ", "

"

78. O -'+ ,-( %?<+ &%,' (-<<;:

:.

, $ (

-

-

%

.

M.

, $ ( -

%

 

.

.

, $ F + -

+ $ ?

 

79. '% () ) %< ' )(<)0 &%,' (-< () :<-L +:

:.

$+ «

" »,

 

$+ « " ».

" »,

 

M.

$+ «

$+ « " ».

" »,

 

.

$+ «

$+ « " »?

 

 

80. ) & G<- :- & / P (< E %< 'F%E ,)&--

) (%, /% <+ :<-<<;:

:. ' . M. / ?

81. ) & G<- :- & / P <+ (< E %< 'F%E ,)-

&-) (%, /% <+ :<-<<;:

:. ' . M. / ?

82. ) -&) <+ (< E %< 'F%E L:

:.

" , " .

M. " , " .

. /

" , " .

83. < P -'% &+ ) (-< ( +<<; ,)=)<<)0

:(’;:'%(:

:. $( , " , ’- $(-" , $ , % .

M. $( , " , $ ,% .

9

287

. , , $, % .

84. O -'+ &%,' (-<<; :- -<-/%LP:

:. ,( " &, &) -- $ $ % ( "-+, -+). M. , & -- $ $ % ?

85. ) & G<- :- & / P &%,' (-<<; :- -<-/%LP

?], < (-) % )<<% () < (' :

:. ' . M. / ?

86. ) -&) &%,' (-< :- -<-/%LP L:

:. : , . M. : , % . . : , " .

87. , ' ,- -,/ &+<-F%E '- +<- ::

:. :

, , ! .

M. :

, , .

. :

, , ( .

88. I ,& P -,/ &+<-F%E & G ? ):

:. $ $ . M. $ $ .

. $ $ $ .

89. M-

& / P '-: ( E -,/ &+<-F%E ?], <-

( P :

:.

.

M.

.

90. M-

& / P <+ '-: ( E -,/ &+<-F%E ?], <-

( P :

:.

.

M.

.

91. ) -&) <+ ,;& E -,/ &+<-F%E L:

:. : " , " , ’-" .

M. : " , " .

. : " , " , ’-" , $ " .

288

92. ) ',+& PP -'% () ) ',) )'):

:. A , , ! .

M. A " &, , . . A ! , $, .

93. '% ,-()- () ',+& PP + ,%E -,/ &+<-

-F%E:

:. ; , ; , -; ! .

M. ; " &, ; , -; ! .

. ; , ; ?

9

289

1. % < (% &%,' (-<<; ( (< & ()/ ; %, ? :’; * + ( % E0<% :-< (') - () < ( '.

1.1. = (" , -

&&

$

"

.

1.2.

$ -

 

 

-

(

,

 

 

 

$ -

— " ( .

 

 

 

 

 

1.3. C ; -

,

- . :

 

-.

 

 

 

 

 

 

2. ):<-= + /%=< D ,& <-(+ +<)0 (),-:%(:

2.1. : (- -+ +, --, -.

2.2. «C ; " , +% ( » ( . =$).

2.3. ' , $ -, ; $ -, $ - +, ; , ; -; $ $ +,. ( , $ -,.

3. ,-<-%: * + , ' , -')0 :<-' ()0 , F+ %(.

3.1. B %- .

3.2.- " y 1 ! -. . R .

3.3.: " %- = .

290

Соседние файлы в предмете [НЕСОРТИРОВАННОЕ]