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
Ludvika

... population of 26450, 13112 are male, and 13338 are female. The population density of the community is 18 inhabitants per km². External links Ludvika ...

 
 
 
This page was created in 26.8 ms