Jisho

×
二重否定の除去
Links
Wikipedia definition
1. Double negative elimination​For the theorem of propositional logic based on the same concept, see double negation. In propositional logic, double negative elimination (also called double negation elimination, double negative introduction, double negation introduction, or simply double negation) are two valid rules of replacement. They are the inferences that if A is true, then not not-A is true and it's converse, that, if not not-A is true, then A is true.
Read “Double negative elimination” on English Wikipedia
Read “二重否定の除去” on Japanese Wikipedia
Read “Double negative elimination” on DBpedia

Discussions

to talk about this word.