Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома. Если Петя поехал отдыхать на юг, то он сдал сессию вовремя. Доказать справедливость рассуждения методом резолюции.

Переведём рассуждение в логическую форму и приведём доказательство методом резолюции шаг за шагом.

Обозначим следующие высказывания:

1. A – «Петя поехал отдыхать на юг».
2. B – «Петя сдал сессию вовремя».
3. C – «Петя провёл каникулы дома».

Даны два предположения и требуется доказать заключение.

Предположение 1: «Либо Петя поехал отдыхать на юг, либо, если Петя не сдал вовремя сессию, то ему пришлось каникулы провести дома». Формально:   A ∨ (¬B → C). Заметим, что импликация ¬B → C эквивалентна логическому выражению B ∨ C. Значит, предположение 1 можно переписать как:   A ∨ B ∨ C.

Предполо...