Реши задание на изображении

На изображении обрезано определение исчисления: не видны его аксиомы и правила вывода. Без них нельзя установить, выводима ли формула.

Пришли полное условие или перепиши аксиомы и правила вывода.