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

$ 16. C % % * &:

<. C , &- " ,.

P. C , , . . , , ?

$ 17. « / %-» &, :

<. & ' : : / / , $ & ' : . P. & ' : : / / , $ & ' : . . % ' : ' : /$?

$ 18. « » &:

<. «; ». P. «; / ». . «( »?

$ 19. % " % :

<. . P. ; ?

$ 20. , " % *, &:

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

.@ , , , " ?

9.5.«& # #B % "C %»

$ 1. = % & * :

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

. % , #: / $ -?

$ 2. %:

<. &’: , , ’ .

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

$ 3. = % -& * :

<. % # — " #- , : .

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

$ 4. v % :

<. & # .

P. # ?

$ 5: = % * %

’ :

<. . P. . . ?

$ 6. = % * %

« %’ »:

<. . P. . . ?

$ 7. = % * %

« %’ »:

<. . P. .

. ?

$ 8. = % * %« »:

<. . P. . . ?

$ 9. = % * %« »:

<. . P. . . ?

$ 10. - * % -:

<. < <. P. < . .. < <?

$ 11. - * % -:

<. < <. P. < <.

. (< <)?

$ 12. - * * % :

<. < <. P. < <. . (< <)?

$ 13. = * * -*:

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

$ 14. = * * - * *:

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

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

$ 15. = * * -*:

<. C #, #, # .

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

$ 16. = * * -*:

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

. , , ?

$ 17. ! % " & - :

<. - .

P. - .

. ?

$ 18. % * %- :

<. ; $ , #: .

P. : # .

. F $# , + ?

$ 19. «0 * *» « " - *» — :

<. . P. ; ?

$ 20. * * " :

<. #. P. & #.

. # & & #?

9.6. « " %»

$ 1. v ?

<. J , $ : / .

P. J , $, & .

. J , $ : / $ .

$ 2. F * "* ?

<. . P. ; .

$ 3. F % - * ( "3 ) % ?

<. . P. ; .

$ 4. F & * % -* ?

<. . P. ; .

$ 5. F * "-" % ?

<. . P. ; .

$ 6. F % -" ?

<. . P. ; .

$ 7. — - , :

<. & : . P. C & # .

. $# # -# .

$ 8. 0 — - , :

<. : .

P. :.

. $# # .

$ 9. & -:

<. < ,

<

P.< ,

.< , <

$ 10. 7- *:

<. % . P. . . .

$ 11. modus ponens & :

<.< ,

P. < , <

.< ,

<

$ 12. modus tollens & :

<. < ,

< P.< ,

<

. < , <

$ 13. C %- *: <. % .

P. . . .

$ 14. = % * modus tollendo ponens?

<. < ,

< P.< ,

<

. < , <

$ 15. = % * modus ponendo tollenens?

<. < ,

< P.< ,

<

. < , <

$ 16. = % *?

<. < , <

P. < , , <

. < , <

$ 17. = % * -?

<. < , , <

P.< , D, <

D

.< , D, <

D

$ 18. = % *?

<. < , < , <

P. < , , <

. < , <

$ 19. = % * -?

<. < D, , <

P. < , D, D <

. < , <

$ 20. -* «% " »?

<. < , D, D <

P. <

<

. < <

$ 21. -* «»:

<. <

<

P. <

<

. < , <

$ 22. D % *:

<. . P. % .

. & / .

$ 23. = % * *" % :

<. , & , &’: . P. & , ,.

. , & , - , ?

$ 24. -* " :

<. \ S : O. \ O : S.

P. % S : O. % S : -O.

. % S : O. % -O : S.

$ 24. F -* ?

<. . P. ; .

$ 25. % &:

<. . P. % .

. & / .

$ 26. 7 %-*:

<. J / , & / .

P. P / , / , . . P / , .

$ 27. 7 %-*:

<. J / , & / .

P. P / , / , . . P / , .

$ 28. 4 %-— % , % * - :

<. J / .

P. P / . . .

$ 29. + %-

— % , % * :

<. ( # . P. B # .

. ( # # .

$ 30. C % % * -% :

<. + , + ,' .

P. + , + ,.

. C , + , + .