J-Wellformedchecker
Das tool für die Prüfung, ob Ausdrücke wohlgeformte aussagenlogische Formeln sind, setzt die Definition wohlgeformter Formeln des Logikkurses, Lektion 2 voraus.
Das Alphabet ist:Satzbuchstaben: P,Q,R,S,T,U,P1,P2,P3, ...
Logische Zeichen: ¬,&,v,->,<->
Hilfszeichen: ( , )
Die Klammerregeln sind:
1. Aussenklammern können eliminiert werden.
2. &, v binden stärker als ->, <->.
3. Bei gleich starker Bindung sind die Formeln von links nach rechts zu verklammern.
Zu beachten ist des Weiteren, dass nach der Definition wohlgeformter Formeln Satzbuchstaben sowie ihre Negationen nicht eingeklammert werden!
Eingabehilfe Sonderzeichen:
Datenschutzerklärung HU Berlin - Erstellt von D. Engler / T. Lampert