Формализовать представленное рассуждение в виде формул алгебры логики: Если Джонс не встречал этой ночью Смита,

Формализовать представленное рассуждение в виде формул алгебры логики:
Если Джонс не встречал этой ночью Смита, (Решение → 57042)

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



Формализовать представленное рассуждение в виде формул алгебры логики:
Если Джонс не встречал этой ночью Смита, (Решение → 57042)

Введем буквенные обозначения для атомарных высказываний: A: Джонс не встречал этой ночью Смита; B: Смит был убийцей; C: Джонс лжет; D: убийство имело место после полуночи; Формализация рассуждения: A→B∨C, ¬B→A&D, D→B∨¬C ⊢ B