Difference between revisions of "Dual"
(creatio) |
(stub) |
||
Line 10: | Line 10: | ||
*[[Logic]] | *[[Logic]] | ||
+ | {{stub}} | ||
[[Category:Definition]] | [[Category:Definition]] | ||
[[Category:Logic]] | [[Category:Logic]] |
Revision as of 11:53, 23 November 2007
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:
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.