Дискретная математика

[zxcvbn]

Здравствуйте, люди добрые, решите пожалуйста задачу:
Проверить выводимость в исчислении высказываний методом Куайна, методом редукции и методом резолюций.
├A\∕B→(¬A→B)

[cyb12]

Формула такая: $\vdash (A\vee B )\to (\neg A \to B)$ ?
Метод Квайна:
Пусть $A=0.$ Тогда $(0\vee B )\to (1 \to B) = B \to B =1.$ Пусть $A=1.$ Тогда $(1\vee B) \to (0 \to B) = 1\to 1 = 1.$
Таким образом, формула является тавтологией, потому выводима.

В метода редукции предположите, что в некоторой интерпретации формула принимает значение 0. Тогда, по свойству импликации, $(A\vee B )=1,$ $(\neg A \to B)=0.$ Докажите, что такого не может быть.