---

Step * of Lemma double-neg-formation

P:. (P  (P))
BY
{ Auto }


\mforall{}P:\mBbbP{}.  (P  {}\mRightarrow{}  (\mneg{}\mneg{}P))


By

Auto



Home Index