В задании две задачи: первая на метод интерпретаций, вторая на исчисление предикатов Бернайса (аксиоматический метод).