Условие задачи
Табличным способом обоснуйте правильность вывода:
Если Иванов является участником преступления, то он знал потерпевшего. Иванов не знал потерпевшего, но знал его жену. Потерпевший знал Иванова. Следовательно, Иванов – преступник.
Ответ
Зададим переменные простым суждениям: Если Иванов является участником преступления (р), то он знал потерпевшего (q). Иванов не знал потерпевшего (q), но знал его жену (r). Потерпевший знал Иванова (s). Следовательно, Иванов преступ...