Q-Wellformedchecker
Das tool für die Prüfung, ob Ausdrücke wohlgeformte quantorenlogische Formeln sind, setzt die Definition wohlgeformter Formeln des Logikkurses, Lektion 8 voraus.
Das Alphabet ist:Satzbuchstaben: P,Q,R,S,T,U,P1,P2,P3, ...
Logische Zeichen: ¬,&,v,->,<->,E,A
Namenbuchstaben: a,b,c,a1,a2,a3, ...
Variablen: x,y,z,x1,x2,x3, ...
Prädikatbuchstaben: F,G,H,I,J,F1,F2,F3, ...
Hilfszeichen: ( , )
Eingabehilfe Sonderzeichen:
Datenschutzerklärung HU Berlin - Erstellt von D. Engler / T. Lampert