Табличным способом обоснуйте правильность вывода. Если Иванов является участником преступления, то он знал потерпевшего.

23 июля 2024
Логика

Условие:

Табличным способом обоснуйте правильность вывода:

Если Иванов является участником преступления, то он знал потерпевшего. Иванов не знал потерпевшего, но знал его жену. Потерпевший знал Иванова. Следовательно, Иванов – преступник.

Решение:

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