Добрый день! У вас ошибка в скобках. Кроме того, тут нужно предварительно разъяснить следующие моменты: 1. Курс информатики за 10-11 класс, в частности, импликация и её трансформация типа not A or B. 2. Теорема Экбрана о дедукции. 3. Силлогизм Сократа 4. Модус Поненс 5. Резольвента 6. Модус Поненс как частный случай резольвентирования. И только после этого, мы можем говорить о методе резолюций.
Добрый день! У вас ошибка в скобках.
Кроме того, тут нужно предварительно разъяснить следующие моменты:
1. Курс информатики за 10-11 класс, в частности, импликация и её трансформация типа not A or B.
2. Теорема Экбрана о дедукции.
3. Силлогизм Сократа
4. Модус Поненс
5. Резольвента
6. Модус Поненс как частный случай резольвентирования.
И только после этого, мы можем говорить о методе резолюций.