Revision as of 16:07, 28 September 2008 by Herefishyfishy1 (talk | contribs) (See Also)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

A dual of a logical statement is a sort of inversion of the statement.

Rigorous definition

Consider a logic statement $Q$. For each individual element or operator in $Q$, we replace:

  • $U$ (the universal set) with $\varnothing$ (the empty set) and vice versa.
  • $\cup$ with $\cap$ and vice versa.

Such a statement is the dual of the statement. An interesting fact of logic is that if a logical statement is true, then its dual is true.

See Also

This article is a stub. Help us out by expanding it.

Invalid username
Login to AoPS