拟合中的形式证明¬（P∨⊥）==¬P∨⊥

Question

我正在尝试在Fitch中构造¬（P∨⊥）==¬P∨⊥的形式证明，我无法理解该证明的结构

我想做的是假设P并试图得出一个矛盾，但是我似乎无法得到一个矛盾。我认为我的问题在于括号，因为我对它们在Fol中的工作方式感到困惑。在解释证明步骤或什至只是解释括号如何工作方面的任何帮助将不胜感激。