2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




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

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

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

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

 
 
 
 Posted automatically
Сообщение18.09.2018, 00:03 
 i  Тема перемещена из форума «Карантин» в форум «Помогите решить / разобраться (М)»

 
 
 
 Re: Метод резолюций
Сообщение18.09.2018, 00:09 
Аватара пользователя
Lairi в сообщении #1339813 писал(а):
что, очевидно, не так.

Почему?

 
 
 
 Re: Метод резолюций
Сообщение18.09.2018, 00:11 
Lairi в сообщении #1339813 писал(а):
В чем я ошибаюсь, почему получается такое противоречие?
Противоречия не получается, второе всё так же логически следует из первого. $ (a\lor a) \land (\neg a\lor\neg a) $ тождественно ложно, $ (a\lor\neg a) $ тождественно истинно, но всё правильно: из лжи следует что угодно.

 
 
 
 Re: Метод резолюций
Сообщение18.09.2018, 10:37 
Спасибо большое! Ошибка в моей логике, "следует из" не значит "равнозначно"

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group