Formeleditor2

Hallo leute,

hab noch ne frage zum formeleditor von openoffice. und zwar möchte ich wissen, wie ich den allquantor und den existquantor (bekannt aus der prädikatenlogik) darstellen, also wie der befehl dazu ist.

mfg chuqa

Ola,

sorry,ich hab keine Ahnung, was Du meinst ... Aber man kann sich ja weiterbilden
Als Allquantor, universellen Quantor oder Generalisator bezeichnet man den Quantor der Generalisierung ... das könnte nach meiner Kenntnis das auf dem Kopf stehende A sein ...


reicht es nicht aus, wenn Du vereinfacht ein großes A für den Allquantor, ein Großes E für den existquantor und das Minuzeichen für Not verwendest?

Naja ich will mir ne Übersicht für Umformungsregeln der Prädikatenlogik anlegen und da wär es besser, weil leicht verständlicher, wenn die richtigen Symbole dort stehen würden. Der Katalog vom Formeleditor enthält die Zeichen auch, ich weiß nur nicht wie ich die da rauskitzeln kann . Und es stimmt der Allquantor ist das auf dem kopf-stehende A und existquantor ist das gespiegelte E. Also wenn mir jemand helfen kann, wär echt toll.

Gruß Chuqa.

Ola,

Einfügen Objekt Formel

Auswahl sonstiges drauf klicken ....

oder im scrptfeld eingeben

forall umgekehrtes A
exists gespeigeltes E

Ja genau das ist es, also ich brauchte nur das exists und das forall.
bin auch die ganze zeit davon ausgegangen,dass ich das % davorstellen muss. :.

Also vielen Dank.

Gruß Chuqa

Achso nochwas.

Kannste mir noch sagen so etwas steht, also so eine zusammenfassung der befehle für sonderzeichen?

Danke!!! Chuqa

Ola,

ich schau immer in der HIlfe nach