В офисе компании пропали важные документы. Подозреваются три сотрудника: Иван, Мария и Алексей. Следствие установило: Если Иван невиновен, то Мария виновна. Если виновен Алексей, то не виновен Иван. По крайней мере один из мужчин (Иван или Алексей)

Добавлена: 17.04.2026
Обновлена: 17.04.2026
Предмет: Криминалистика
Автор: Кэмп

#Криминология
#Юридическая психология

Условие:

В офисе компании пропали важные документы. Подозреваются три сотрудника: Иван, Мария и Алексей.

Следствие установило:
Если Иван невиновен, то Мария виновна.
Если виновен Алексей, то не виновен Иван.
По крайней мере один из мужчин (Иван или Алексей) виновен.
Кто виновен в краже документов?

Решение:

Дано:

Если Иван невиновен, то Мария виновна.
Если виновен Алексей, то не виновен Иван.
По крайней мере один из мужчин (Иван или Алексей) виновен.

Найти: Кто виновен в краже документов?

Решение:

Начнём с первого утверждения:
- Если Иван невиновен, то Мария виновна. Это можно записать как:
  $\neg I \rightarrow M$
  (где $I$ — Иван, $M$ — Мария, $\neg$ — отрицание).
Второе утверждение:
- Если виновен Алексей, то не виновен Иван:
  $A \rightarrow \neg I$

Внутри — полный разбор, аргументация, алгоритм решения, частые ошибки и как отвечать на каверзные вопросы препода, если спросит

Попробуй решить по шагам

Попробуй один шаг и продолжи в режиме обучения или посмотри готовое решение

Какое логическое следствие вытекает из утверждения «Если виновен Алексей, то не виновен Иван» в контексте того, что «По крайней мере один из мужчин (Иван или Алексей) виновен»?

Если Иван виновен, то Алексей невиновен.

Иван и Алексей не могут быть виновны одновременно.

Если Алексей невиновен, то Иван виновен.