Q-Interpretationen

Geben sie eine wohlgeformte Q-Formel ein, deren Q-Interpretationen ausgewertet werden sollen!

Dieses tool 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