double negation (Q5300067)
Jump to navigation
Jump to search
theorem
- double negative elimination
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | double negation |
theorem |
|
Statements
\lnot\lnot
0 references
Double negation
0 references
Identifiers
Sitelinks
Wikipedia(9 entries)
- enwiki Double negation
- eswiki Doble negación (lógica)
- fawiki نقیض مضاعف
- hywiki Բացասման օրենք
- itwiki Doppia negazione
- kowiki 이중 부정
- plwiki Prawo podwójnego przeczenia
- ptwiki Dupla negação
- tgwiki Инкори инкор
Wikibooks(0 entries)
Wikinews(0 entries)
Wikiquote(0 entries)
Wikisource(0 entries)
Wikiversity(0 entries)
Wikivoyage(0 entries)
Wiktionary(0 entries)
Multilingual sites(1 entry)
- commonswiki Category:Double negation