Формальные аксиоматические теории - 2
Cрок выполнения : до 7 дней
Вид работы : Контрольная
Статус выполнен
Дисциплины:
Математические: Логика, теория Алгоритмов и Автоматов.
|
|
Добавлен 10.04.2019 21:05:50
Уникальность:
Доработка:
Подробно: Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать любым из следующих методов: аксиоматическим, натурального исчисления, резолюций, или Вонга. a. (А & В) -> С => А -> (В->С) b. A -> (В -> С), (С & D) -> E, -F -> (D & -Е) => A -> (B -> F) c. (А & (В -> С)) ~ D, Е ~ (А & -(В v С)) => (D & -Е) ~ (А & С)
Кратко: ...
Файлы доступны после авторизации