# Double negative elimination

(Redirected from Double negation 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


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

These two rules — double negative elimination and introduction — can be restated as follows (in sequent notation):

[itex] \neg \neg A \vdash A [itex],
[itex] A \vdash \neg \neg A [itex].

Applying the Deduction Theorem to each of these two inference rules produces the pair of valid conditional formulas

[itex] \vdash \neg \neg A \rightarrow A [itex],
[itex] \vdash A \rightarrow \neg \neg A [itex],

which can be combined together into a single biconditional formula

[itex] \neg \neg A \leftrightarrow A [itex].

Since biconditionality is an equivalence relation, any instance of ¬ ¬ A in a well-formed formula can be replaced by A, leaving unchanged the truth-value of the wff.

Double negative elimination is a theorem of classical logic, but not intuitionistic logic. Because of the constructive flavor of intuitionistic logic, a statement such as It's not the case that it's not raining is weaker than It's raining. The latter requires a proof of rain, whereas the former merely requires a proof that rain would not be contradictory. (This distinction also arises in natural language in the form of litotes.) Double negation introduction is a theorem of intuitionistic logic, as is [itex] \neg \neg \neg A \vdash \neg A [itex].

In set theory also we have the negation operation of the complement which obeys this property: a set A and a set (AC)C (where AC represents the complement of A) are the same.

• Art and Cultures
• Countries of the World (http://www.academickids.com/encyclopedia/index.php/Countries)
• Space and Astronomy