Определить вид умозаключения и проверить его корректность. Если Джонс не встречал этой ночью Смита (¬ Д), то либо Смит был убийцей (С), либо Джонс лжет (Д). Если Смит не был убийцей (¬ С), то Джонс не встречал Смита этой ночью (¬ Д), и убийство имело

Определить вид умозаключения и проверить его корректность.

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