Wikidata facts
Show 3 more facts
- Commons category
- Double negation
- TeX string
- \lnot\lnot
- Stack Exchange tag
- proofassistants.stackexchange.com/tags/double-negation
via Wikidata · CC0
Connections
rule of inference
Entity
rule of replacement
Entity
Georg Wilhelm Friedrich Hegel
Entity
Bertrand Russell
Entity
International Standard Book Number
Entity
theorem
Entity
Alfred North Whitehead
Entity
commutative property
Entity
associativity
Entity
inference
Entity
propositional calculus
Entity
equivalence relation
Entity
distributive property
Entity
logical negation
Entity
De Morgan's laws
Entity
litotes
Entity
Jan Łukasiewicz
Entity
tautology
Entity
principle of excluded middle
Entity
first-order logic
Entity