Метод резолюций

[Lairi]

Помогите, пожалуйста, разобраться с методом резолюций.
Если
$(a \lor b) \land (\neg a\lor c) $ может быть преобразовано в $(b\lor c) $,
то $ (a\lor a) \land (\neg a\lor\neg a) $ должно преобразовываться к $ (a\lor\neg a) $, что, очевидно, не так.
В чем я ошибаюсь, почему получается такое противоречие?

[Lia]

Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин»
по следующим причинам:

- неправильно набраны формулы (краткие инструкции: «Краткий FAQ по тегу [math]» и видеоролик Как записывать формулы);

Исправьте все Ваши ошибки и сообщите об этом в теме Сообщение в карантине исправлено.
Настоятельно рекомендуется ознакомиться с темами Что такое карантин и что нужно делать, чтобы там оказаться и Правила научного форума.

[Lia]

Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

[Geen]

Lairi в сообщении #1339813 писал(а):

что, очевидно, не так.

Почему?

[arseniiv]

Lairi в сообщении #1339813 писал(а):

В чем я ошибаюсь, почему получается такое противоречие?

Противоречия не получается, второе всё так же логически следует из первого. $ (a\lor a) \land (\neg a\lor\neg a) $ тождественно ложно, $ (a\lor\neg a) $ тождественно истинно, но всё правильно: из лжи следует что угодно.

[Lairi]

Спасибо большое! Ошибка в моей логике, "следует из" не значит "равнозначно"