Deutsches Brights-Forum 2006 - 2014 (ARCHIV)

Abgetrennt von: http://www.forum.brights-deutschland.de/viewtopic.php?f=5&t=327&start=120&st=0&sk=t&sd=a

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!

Normalerweise wird für den Quantor das spiegelverkehrte "E" verwendet, das sich aber im ASCII-Code nicht darstellen lässt.

@Myron, vorsicht, es läßt sich alles darstellen, wenn du beim posten den html Code verwendest kannst du das umgekehrte E mittel seiner Nummer

Code: Alles auswählen

&#8707

oder der Entität

Code: Alles auswählen

∃

darstellen. Es ist jedes Sonderzeichen darstellbar.

Klaus hat geschrieben:@Myron, vorsicht, es läßt sich alles darstellen, wenn du beim posten den html Code verwendest.

Danke für den Tipp!

Die hierfür erforderlichen Tabellen sind sehr umfangreich und findest du eigentlich im Netz.
ansonsten gern geschehen.

Klaus hat geschrieben:Die hierfür erforderlichen Tabellen sind sehr umfangreich und findest du eigentlich im Netz.
ansonsten gern geschehen.

Irgendwie will es nicht gehen.

&#8707

Sharif das ist der Inhalt der Variablen, du musst die Variable noch benennen.

Klaus hat geschrieben:Sharif das ist der Inhalt der Variablen, du musst die Variable noch benennen.

Ich steh auf dem Schlauch.

Mach mal vor, dann sehe ich per Zitat, was du geschrieben hast.

html ist ausgeschaltet, das ist das Problem.

Klaus hat geschrieben:html ist ausgeschaltet, das ist das Problem.

Ich versuche gerade nachzuvollziehen, weshalb du uns den Tipp gegeben hattest.