Средствами таблично построенной логики высказываний установите

Рассуждение «Если Джон не общался этой ночью со Смитом, когда было совершено преступление, то Смит мог быть причастен к совершённому преступлению» состоит из двух простых суждений:
1. «Этой ночью, когда было совершено преступление, Джон не общался со Смитом» – р .
2. «Смит причастен к совершённому преступлению» – q.
Формула: p q.
2. «Надёжность Джона подвергается сомнению».
Формула: р р.
3. «Следовательно, либо Смит преступник, либо Джон лжет».
Формула: q р.
Формула рассуждения: ((p q) (р р)) (q р).
Таблица истинности:
Порядок действий → 1 3 2 5 4
р q р ((p q) (р р)) (q р)
и и л и и и и и
и л л л л и и л
л и и и и и л л
л л и и и и и и
Ответ: согласно последнему действию (№5), делаем вывод, что рассуждение содержит противоречие, поэтому формула принимает как значение истинности, так и значение ложности