Нужно доказать выводимость формулы, используя классический метод, то есть используя систему аксиом исчисления высказывания. Что-то ну никак у меня не получается...

?
походу все давно эту тему проходили..

по ходу, я тоже
Если можешь, приведи саму систему аксиом, или хотя бы обяснение каждого квантора. Конкретно, у меня вызывает затруднение твоя точка с запятой, ";".