Mathematica 9 is now available

XorTrue

Implies

FilledSmallSquareImplies[p, q] represents the logical implication .

FilledSmallSquareImplies[p, q] is equivalent to !p || q.

FilledSmallSquareImplies[p, q] can be input in StandardForm and InputForm as p q. The character can be entered as AliasIndicator=>AliasIndicator or \[Implies].

FilledSmallSquare See The Mathematica Book: Section 3.4.10.

FilledSmallSquare See also: LogicalExpand, If.

Further Examples

XorTrue



Any questions about topics on this page? Click here to get an individual response.Buy NowMore Information
THIS IS DOCUMENTATION FOR AN OBSOLETE PRODUCT.
SEE THE DOCUMENTATION CENTER FOR THE LATEST INFORMATION.