Условие задачи
Даны утверждения:
- Персона X всегда опаздывает и много лет курит
- Персона X работает преподавателем в вузе
Доказать с помощью метода резолюций следующую теорему: "Если преподаватель не курит, то он – не персона X".
Ответ
Для решения задачи с использованием метода резолюций, сначала преобразуем утверждения и теорему в пропозициональную логику. Введем следующие обозначения:
- A: Персона X всегда опаздывает
- B: Персона X много лет курит
- C: Персона X работает преподавателем в вузе
Теперь преобразуем утверждения и теорему:
Теорема:
Потяни
