|
DoubleRightTee
\[DoubleRightTee]
Infix-Operator.
x y wird vorgabemäßig als DoubleRightTee[x, y] interpretiert.
x y z gruppiert als x (y z).
Wird in der Mathematik verwendet, um diverse starke Formen der logischen Implikation, häufig tautologischen Implikation, zu bezeichnen.
In der Präfix-Form wird es dazu verwendet, eine Tautologie zu kennzeichnen.
Siehe Das Mathematica Buch: 3.10.4 und 3.10.4.
Siehe auch: \[RightTee], \[DoubleLeftTee].
|