# some theorem schemas of propositional logic

## Primary tabs

Defines:
law of double negation, law of the excluded middle, ex falso quodlibet
Major Section:
Reference
Type of Math Object:
Result