Peter Janotta hat geschrieben:Fände ich zwar wirklich irgendwie cool, aber die Menge an Formeln, die in diesem Forum geschrieben werden, würden den Aufwand wohl nicht rechtfertigen.
Fände ich auch cool, da ich auf logische Formeln stehe; aber das rentiert sich hier nicht wirklich.
Man kommt auch mit den ASCII-Zeichen gut aus:
Existenzquantor: Ex(...)
Allquantor: Ax(...)
Negation: ~
Konjunktion: &
Disjunction: v
Implikation: ->
Äquivalenz: <->
Identitätsprädikat: =
Existenzprädikat: E!