Wikidata facts
- Instance of
- theorem
- Has part
- double negative elimination
Show 4 more facts
- Commons category
- Double negation
- TeX string
- \lnot\lnot
- maintained by WikiProject
- WikiProject Mathematics
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/double-negation
via Wikidata · CC0