Это домашнее задание. Я пытаюсь доказать, что (a v b) ^ (~ b V c) | = (a V c)
это правильное правило разрешения. И мне не разрешают использовать правило разрешения, чтобы доказать это.
Немного запутаться, не знаю, что мне делать в первую очередь ..
И еще одна проблема, учитель, давайте докажем KB | = a , когда KB ^ ~ a неудовлетворительно. насколько я знаю, мне может понадобиться создать КБ, которая включает в себя несколько предложений, тогда я могу доказать
KB ^ ~ a неудовлетворительно. но учитель сказал мне, что если я хочу привести пример, я должен позволить, чтобы он подходил для каждого случая. Я хочу знать, есть ли универсальный пример, чтобы доказать это? Должен ли я использовать пример?
Надеюсь, кто-нибудь может дать мне несколько советов или полезных ссылок .. Спасибо ..