Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия, Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки
Последний раз редактировалось Lairi 18.09.2018, 00:00, всего редактировалось 4 раз(а).
Помогите, пожалуйста, разобраться с методом резолюций. Если может быть преобразовано в , то должно преобразовываться к , что, очевидно, не так. В чем я ошибаюсь, почему получается такое противоречие?
Lia
Posted automatically
17.09.2018, 23:34
i
Тема перемещена из форума «Помогите решить / разобраться (М)» в форум «Карантин» по следующим причинам:
В чем я ошибаюсь, почему получается такое противоречие?
Противоречия не получается, второе всё так же логически следует из первого. тождественно ложно, тождественно истинно, но всё правильно: из лжи следует что угодно.
Lairi
Re: Метод резолюций
18.09.2018, 10:37
Спасибо большое! Ошибка в моей логике, "следует из" не значит "равнозначно"