如果不简单地使用双重否定规则，而是将其作为条件证明，我们如何证明，
A lect ~~A
？
您可以只使用~的定义通过穷举进行证明
｛T，F｝
设A=T
~~(A(=~~(T(=~(~T(=~F=T=
设A=F
~~(A(=~~(F(=~(~F(=~T=F=
在这两种情况下，我们都发现~~A≠A，QED