Implies

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

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

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

Siehe Das Mathematica Buch: 3.4.10.

Siehe auch: LogicalExpand, If.

Further Examples