Logic 用条件证明证明双重否定

我们如何证明这一点，
A.≡ ~~A

---

不需要简单地使用双重否定规则，而是通过将其显示为条件证明？

您可以仅使用~

A{T，F}

设A=T

（A）=（T）=（T）=~F=T=A

设A=F

（A）=（F）=（F）=~T=F=A

在这两种情况下，我们都可以找到~~ A≡ A、 量化宽松

---

你能指出你指的是哪种证明体系吗？有些逻辑无法显示这一点。