Условие:
Определить участника преступления, исходя из двух посылок: 1) "Если Иванов не участвовал или Петров участвовал, то Сидоров участвовал"; 2) "Если Иванов не участвовал, то Сидоров не участвовал".
Решение:
Давайте разберем обе посылки и сделаем выводы шаг за шагом.
- Обозначим участников:
- И: Иванов
- П: Петров
- С: Сидоров
-
Первая посылка: Если Иванов не участвовал или Петров участвовал, то Сидоров участвовал. Это можно записать в логической форме как: (¬И ∨ П) → С Здесь ¬И означает Иванов не участвовал.
-
Вторая посылка: Если Иванов не участвовал, то Сидоров не участвовал. Это можно записать как: ¬И → ¬С
Теперь у нас есть две логические формулы:
- (¬И ∨ П) → С
- ¬И → ¬С
Теперь проанал...