Консультация № 158623
24.01.2009, 15:18
0.00 руб.
0 0 0
Помогите справиться с задачей пор матлогике:

Является ли следующее рассуждение верным?

Если Джон не встречал этой ночью Смита, то либо Смит был убийцей, либо Джон лжет. Если Смит не был убийцей, то Джон не встречал Смита этой ночью, и убийство произошло после полуночи. Если убийство произошло после полуночи, то либо Смит был убийцей, либо Джон лжет. Следовательно, убийцей был Смит.

У меня получилось, что рассуждение неверно - показала таблица истинности (т.к. НЕ всякий раз, когда все Hi равны Тrue, значение C тоже равно Тrue. Здесь С - убийца Смит). По одной строке получилось расхождение.

Верен ли мой результат?
Хотелось бы получить решение в виде:
а) Прямого вывода
б) Доказательства «от противного» или Хотя бы одного из методов!
в) Метода резолюций

Спасибо!

Обсуждение

Форма ответа