Category:Clavius's Law

This category contains pages concerning Clavius's Law:

If, from the negation of a proposition $p$ we can derive $p$, we may conclude $p$:

Formulation 1

$\neg p \implies p \vdash p$

Formulation 2

$\vdash \left({\neg p \implies p}\right) \implies p$