双重否定：¬¬p ⊨ p 有效吗？

¬¬p 与 p 在相同的行为真，因此双重否定在任何位置都可以去掉。两个否定相互抵消。