Logiceasy
0:00.0

The double negation negnegP\\neg \\neg P is equivalent to: