Encyclopedia > Double negative elimination

  Article Content

Double negative elimination

In logic and the propositional calculus, double negative elimination is a rule that states that double negatives can be removed from a proposition without changing its meaning:

It's not the case that it's not raining.

means the same as:

It's raining.

Formally:

   ¬ ¬ A
   ∴ A

Also:

   ¬ ¬ ¬ A
   ∴ ¬ A

The rule of double negative introduction[?] states the converse, that double negatives can be added without changing the meaning of a proposition.

This rule is true in classical logic, but in intuitionistic logic, the statement, It's not the case that it's not raining. is weaker than It's raining.. As a more clearer example, It's not unreasonable is slightly less direct than It's reasonable.



All Wikipedia text is available under the terms of the GNU Free Documentation License

 
  Search Encyclopedia

Search over one million articles, find something about almost anything!
 
 
  
  Featured Article
Ocean Beach, New York

... the average family size is 2.91. In the village the population is spread out with 21.7% under the age of 18, 5.1% from 18 to 24, 32.6% from 25 to 44, 31.2% from 45 to 64, ...

 
 
 
This page was created in 37.2 ms