доказать выводимость

[kantrovik]

Здравствуйте,уважаемые участники форума,помогите пожалуйста доказать выводимость формулы исчисления высказываний из совокупности формулы H

$H =\overline{|A|}$ (тут А под двойным отрицанием) ,$H$ |-$A$