Товарищи, будьте добры помочь :)
Необходимо доказать выводимость секвенции, в секвенциальном исчислении высказываний и проверить методом резолюций
Мне бы первый, второй ход, подсказать
А то чего то вообще не могу вспомнить, как это делается :(
секвенция:

Вроде помню, что надо использовать аксиомы, вот эти
http://dxdy.ru/topic16290.htmlно как то не вижу как начать