22-4 Пример доказательства методом резолюций

Поділитися
Вставка
  • Опубліковано 24 гру 2024

КОМЕНТАРІ • 1

  • @intershull
    @intershull Місяць тому

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