Условие задачи
Средствами таблично построенной логики высказываний установите, является ли правильным следующее рассуждение:
«Если Джон не общался этой ночью со Смитом, когда было совершено преступление, то Смит мог быть причастен к совершённому преступлению. Надёжность Джона подвергается сомнению. Следовательно, либо Смит преступник, либо Джон лжет».
Ответ
Рассуждение Если Джон не общался этой ночью со Смитом, когда было совершено преступление, то Смит мог быть причастен к совершённому преступлению состоит из двух простых суждений:
1. Этой ночью, когда было совершено преступление, Джон не общался со Смитом р.
2. Смит причастен к совершённому преступлению q.
2. Надёжность Джона подвергается сомнению.