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 /  Das Mathematica Buch /  Mathematica Nachschlageteil /  Experimentelle Kontext-Objekte in Mathematica 4 /

Experimental`ForAllRealQExperimental`ImpliesRealQ

Experimental`ImpliesQ

FilledSmallSquare ImpliesQ[, ] prüft, ob aus dem Ausdruck der Ausdruck folgt.

FilledSmallSquare ImpliesQ liefert False, wenn es nicht feststellen kann, ob aus folgt, wobei alle ihre eingebauten Transformationsregeln benutzt werden.

FilledSmallSquare Die verwandte Funktion Implies[, ] bleibt unevaluiert, wenn sie nicht sofort feststellen kann, ob aus folgt.

FilledSmallSquare Siehe auch: Implies, ImpliesRealQ, FullSimplify.

FilledSmallSquare Bitte beachten: Dies ist eine experimentelle Eigenschaft, und in zukünftigen Versionen von Mathematica wird sie vielleicht nicht mehr unterstützt oder erhält eine andere Spezifikation.

Experimental`ForAllRealQExperimental`ImpliesRealQ