This is documentation for Mathematica 4, which was
based on an earlier version of the Wolfram Language.
View current documentation (Version 11.2)

 Documentation /  Mathematica /  Eingebaute Funktionen /  Programmierung /  Logische Operationen /

XorTrue

Implies

FilledSmallSquare Implies[p, q] stellt die logische Implikation dar.

FilledSmallSquare Implies[p, q] ist äquivalent zu !p || q.

FilledSmallSquare Implies[p, q] kann in StandardForm und InputForm als p q eingegeben werden. Das Zeichen kann als AliasIndicator=>AliasIndicator oder \[Implies] eingegeben werden.

FilledSmallSquare Siehe Das Mathematica Buch: 3.4.10.

FilledSmallSquare Siehe auch: LogicalExpand, If.

Further Examples

XorTrue