double negation

Summary

double negation is a theorem^[1]. It draws 49 Wikipedia views per month (theorem category, ranking #233 of 1,306).^[2]

Key Facts

• double negation's instance of is recorded as theorem^[3].
• double negation's Commons category is recorded as Double negation^[4].
• double negation's has part is recorded as double negative elimination^[5].
• double negation's Freebase ID is recorded as /m/05fvh^[6].
• double negation's Stack Exchange tag is recorded as https://proofassistants.stackexchange.com/tags/double-negation^[7].
• double negation's TeX string is recorded as \lnot\lnot^[8].
• double negation's maintained by WikiProject is recorded as WikiProject Mathematics^[9].
• double negation's Microsoft Academic ID is recorded as 82807822^[10].

Why It Matters

double negation draws 49 Wikipedia views per month (theorem category, ranking #233 of 1,306).^[2] It has Wikipedia articles in 7 language editions, a strong signal of global cultural recognition.^[11] It is known by 8 alternative names across languages and contexts.^[12]