1. Довести наступні логічні висновки: 1) використовуючи аксіоми та теореми ЧВ, правило виведення MP
2) використовуючи метод резолюцій

14. C→D,C∨D⊢D
16. C∧¬D,C→D ⊢D

5. Для наступних формул знайти еквівалентну їм випереджену формулу:

14. ¬(∀x∃yP(x,y)∨∀x∃yQ(x,y))
16 (¬∀xP(x)∧∃xQ(x))∨∀x(∀yR(x,y)→P(y))

Математична логіка

mixtalalai2017    1   03.03.2021 21:01    0