Здравствуйте! Система аксиом такая:

Связка

определяется как

. Нужно доказать

. Перед этим была такая задача:

. Возникает искушение решить поставленную задачу с помощью соотношения

, но проблема в том, что перед этим такой задачи нет. Возникает подозрение, что решить поставленную задачу можно как-то без этой немаловажной формулы, а вот как, ума не приложу. Верно ли это? Или перед этим все-таки нужно выводить двойное отрицание?