6.1.1.9 Исчисление высказываний

Условие: Доказать в исчислении высказываний: \[ (F \supset G) \supset((F \supset \neg G) \supset \neg F) \text {. } \]