Решить задачу.
Доказать справедливость рассуждения:
Если экзаменатор строг, то экзамен трудно сдать. Экзаменатор строг или
студенты плохо посещают занятия. Если студенты плохо посещают занятия,
то плохо работает администрация факультета. Однако администрация
работает хорошо. Значит, экзамен трудно сдать.
Используйте для доказательства метод резолюции.
Для доказательства воспользуемся методом резолюции. Нам даны следующие посылки:
Если экзаменатор строг, то экзамен трудно сдать. Это можно записать в виде: если P, то Q, что эквивалентно ¬P ∨ Q.
Экзаменатор строг или студенты плохо посещают занятия. Записываем как: P ∨ R.
Если студенты плохо посещают занятия, то плохо работает администрация факультета. Это: если R, то ¬S, что эквивалентно ¬R ∨ ¬S.
Администрация работает хорошо. То есть S.
Нужно доказать...