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

Логіка (Хоменко)

.pdf
Скачиваний:
118
Добавлен:
19.03.2015
Размер:
1.23 Mб
Скачать

$ 16. C % % * % % :

<. . P. &’: . . ?

$17. % &:

<., , -.

P. J , &’: .

. ! , , ?

$ 18. C % — :

<.O & " " . P. " .

. / / - " ?

$ 19. & - :

<. , , : #- .

P. , $, : # . . , , ?

$ 20. * % :

<. , . P. O .

. J ?

$ 21. = % & * ?

<. — " , / -#: #:, " .

P. — " # , &$ -: + .

. — " "# , ’ $ & #?

%

341

$ 22. %:

<. C & .

P. & .

. ?

$ 23. 7 % ' *:

<. : . P. .

. : ?

$ 24. - * " * :

<. C , , .

P, , & , . . C , , ?

$ 25. - " -* :

<. ( , & . P. C , . . <& , & .

$ 26. - "* :

<. . P. C& & .

. C ?

$ 27. - % % , % * * , * :

<. , . P. <& , . . C& , & ?

$ 28. - % % , % * / % / , * :

<. C& , & .

P. , & . . ( , & ?

342

10

$ 29. / / :

<. ; # . P. # ?

$ 30. + -/ :

<. $, , .

P. $, , . . $, & , ?

$ 31. + -/ :

<. , $, . P. $, , .

. $, , ?

$ 32. + % * * &:

<. , $ - .

P. , $ - .

., & &

?

$ 33. + " * &:

 

<. , $

-

.

 

 

 

P. , $

-

.

 

 

 

. , &

$ ?

$ 34. — :

 

<. & .

 

 

P. C ?

 

 

$ 35. =

% & * :

 

<. —

"

" ,

 

## $ -.

%

343

P. — " " , ## .

. — " " , # ?

$ 36. %:

<. , , - .

P. , , .

. O , , - ?

$ 37. &:

<. # , &$-.

P. # , . . &$ , -?

$ 38. G ' — :

<. P .

P.F & $ .

.O ?

$ 39. ' &:

<. , . P. ! , . . , / ?

$ 40. % — :

<. & . P. C ?

$ 41. = % — % , :

<. % ' : ' : : , + -/ $.

344

10

P. % ' : ' : : , + -/ .

. % ' : ' : : , + -/ ?

$ 42. % * &:

<. < &- " , , " . P. < &- " , , " .

. > , , " ?

$43. % * &:

<., &- " , -.

P. , , " . . , , ?

$ 44. , " % * &:

<. , , , . P. , , , ' .

. @ , , , " ?

$ 45. = % & * :

<. % , : ’ $$ & . P. % , &$: : .

. % , #: / $ -?

$ 46. %:

<. &’: , , ’ .

P. &’: , , . . &’: , , ’ ?

$ 47. - * - * :

<. <, E, , . P. <, E.

. <, E, .

%

345

$ 48. $ % * % -, 1 :

<. Y & # & & / , & # # : .

P. Y & # & / - , & # # : .

. Y & # & / .

$ 49. = % -& * :

<. % # — " #- , : .

P. % # — " #- , : # . . % # — " #- , :# ?

$ 50. v % :

<. & # .

P. & & # ?

$ 51. = % * % -« ’ »:

<. . P. . . ?

$ 52. = % * % -« %’ »?

<. . P. . . ?

$ 53. = % * % -« %’ »:

<.. P. .

. ?

346

10

$ 54. = % & * %-« »:

<. . P. . . ?

$ 55. = % * % -« »:

<. . P. . . ?

$ 56. = % *% & :

<. C $, # ,.

P. C , $, .

. C $, , #-?

$ 57. = / * -:

<. / , / - , / .

P. / $, / , / .

. / , / -$, / ?

$ 58. = * * -*:

<. ; & , $, . P. ; & , , . . J$, , ?

%

347

$ 59. = * * - * *:

<. C$ & , $ & , & , & .

P. ; & & , $ & , & . . C #, + & ; # , + & ?

$ 60. = * * -*:

<. C #, #, # .

P. , & , $. . % , & , ?

$ 61. = * * -*:

<. % , & , & ’ . P. ; & , $, .

. , , ?

$ 62. ! " *- % - " & :

<. - .

P. - .

. ?

$ 63. v :

<. J , $ : / .

P. J , $, & .

. J , $ : / $ .

$ 64. F * "* :

<.. P. ; ?

348

10

$ 65. F & * % -* :

<. . P. ; ?

$ 66. — - , :

<. & : . P. C & # .

. $# # ?

$ 67. 0 — - , :

<. : .

P. :.

. $# # ?

$ 68. & -:

<.< ,

P.< ,

.< ,

$ 69. modus ponens & :

<. < ,

< P.< , <

. < ,

<

$ 70. modus tollens & :

<.< ,

%

349

P. < ,

<

. < , <

$ 71. = % * modus tollendo ponens:

<. < ,

< P.< ,

<

. < , <

$ 72. = % * modus ponendo tollenens:

<. < ,

<

P.< , <

.< , <

$ 73. = % *:

<. < , <

P. < , , <

. < , <

$ 74. = % * -:

<. < , , <

P.< , D, <

D

.< , D, <

D

350

10