Алгебра логики.

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

Да, можно утверждать, что Смит был убийцей.

Решим задачу с помощью алгебры логики.

1. Обозначим высказывания:

• $P$ — Джон встречал этой ночью Смита.

• $Q$ — Смит был убийцей.

• $R$ — Джон лжёт.

• $S$ — убийство произошло после полуночи.

2. Запишем условия задачи в виде логических формул:

1. Если Джон не встречал этой ночью Смита, то Смит был убийцей или Джон лжёт:

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

3. Если убийство произошло после полуночи, то Смит был убийцей или Джон лжёт:

4. Эксперты установили, что убийство произошло до полуночи:

3. Проведём логическое рассуждение.

Из второго условия:

Следовательно, если Смит не был убийцей, то убийство должно было произойти после полуночи:

Однако из четвёртого условия известно, что убийство произошло до полуночи:

Получается противоречие с предположением, что Смит не был убийцей.

Поэтому предположение $\neg Q$ неверно, а значит:

Ответ: Да, можно утверждать, что Смит был убийцей.

Это следует из второго условия и установленного экспертами факта: если бы Смит не был убийцей, убийство произошло бы после полуночи, но эксперты установили, что оно произошло до полуночи. Следовательно, Смит был убийцей.