Difference between revisions of "Dual"

(creatio)
 
(See Also)
 
(One intermediate revision by one other user not shown)
Line 9: Line 9:
 
==See Also==
 
==See Also==
 
*[[Logic]]
 
*[[Logic]]
 +
*[[De Morgan's Laws]]
  
 +
{{stub}}
 
[[Category:Definition]]
 
[[Category:Definition]]
 
[[Category:Logic]]
 
[[Category:Logic]]

Latest revision as of 16:07, 28 September 2008

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.