Difference between revisions of "Dual"
(stub) |
(→See Also) |
||
| Line 9: | Line 9: | ||
==See Also== | ==See Also== | ||
*[[Logic]] | *[[Logic]] | ||
| + | *[[De Morgan's Laws]] | ||
{{stub}} | {{stub}} | ||
[[Category:Definition]] | [[Category:Definition]] | ||
[[Category:Logic]] | [[Category:Logic]] | ||
Latest revision as of 15:07, 28 September 2008
A dual of a logical statement is a sort of inversion of the statement.
Rigorous definition
Consider a logic statement 
. For each individual element or operator in , we replace:
(the universal 
(the 
with 
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.
