Я пытаюсь следовать примеру в учебном письме, но я не уверен, есть ли в нем ошибка (полосы отрицания должны быть выше букв, следующих за ними:
Скажите, что вы обязаныдоказать, что множество пунктов {pq ̄r, pq, p ̄r ̄} выполнимо посредством опровержения резолюции.
1. p ̄qr
2. pq
3. ̄p ̄r
4.pr 1, 2.
5. q ̄r 2, 3.
Разрешено ли использовать пункт 2 в более чем одном разрешении? Сначала он используется для разрешения пунктов 1 и 2, оставляя pr, нозатем он снова используется для удаления p, оставляющих q ̄r. Это разрешено?