Доказать выводимость формул в исчислении высказываний методом резолюций
Решение:
Тут где-то ошибка. Помогите пожалуйста.
Доказать выводимость формул в исчислении высказываний методом резолюций (Проверте)
-
- Сообщений: 10
- Зарегистрирован: 30 мар 2009, 21:00
Доказать выводимость формул в исчислении высказываний методом резолюций (Проверте)
Последний раз редактировалось AgentSmith63 30 ноя 2019, 16:04, всего редактировалось 1 раз.
Причина: test
Причина: test
Вернуться в «Дискретная математика»
Кто сейчас на форуме
Количество пользователей, которые сейчас просматривают этот форум: нет зарегистрированных пользователей и 0 гостей