∀ x ∃ y x=y ∀ x ∀ y ∀ z ((E(x,y) ∧ E(y,z) ) → E(x,z)) ∀ x ∃ y (Geschwister (x,Vater(Mutter(y))) → Vorfahr(y,x)) (R_1(.a,.b,.c) ∨ R_2 (a))
Hinweise Roadmap Über

Ursprünglich entstanden als einfache Syntaxchecker "tks.AL" und "tks.FO" für die Arbeitsgruppe "Theorie komplexer Systeme" am Institut für Informatik der Goethe-Universität Frankfurt am Main.

Fehlermeldungen sind willkommen (email an):

andre dot frochaux at informatik dot hu-berlin dot de


Für alle die MathML nicht nativ unterstützen wird MathJax eingebunden, hapert es an der Darstellung, sollte javascript aktiviert werden.

changelog

9. März 2018
BUGfix: Manche MathML-Objekte wurden falsch zusammengebaut.
known bugs:
none

18. Februar 2015
Berechnen der NNF
Berechnen der Pränex.
BUGfix: Manche syntaktisch korrekten Formeln wurden nicht als solche erkannt.
known bugs:
none

16. Februar 2015
Standardmäßiger Test auf NNF und Pränex
known bugs:
none

6. Januar 2015
Geänderte Definition von Variablen einer Formel und gebundene Variablen
Bsp.: Für x   E z gilt nun x varφ und x boundedφ
known bugs:
none

12. Dezember 2014
Roadmap
known bugs:
none

28/30. Juli 2014
Anpassung an Syntax mit PHP-upgrade
Latex to MathML
known bugs:
none

19. Juni 2012
Variablenmengen (gesamt, frei, gebunden) werden angegeben.
known bugs:
none

12. Juni 2012
Signatur kann selbst festgelegt werden
BUGfix: Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.
BUGfix: Fehler beim setzen der Formel: Bsp: r(r)
known bugs:
none

8. Mai 2012
Formeln und Symbole werden in Latex gesetzt und als Bilder eingebunden
Signatur kann festgehalten, erweitert oder neu erstellt werden
known bugs:
Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.
Fehler beim setzen der Formel: Bsp: r(r).

24. April 2012
Dieses About. Startseite, Design, angeleht an TKS.AL
known bugs:
Relations- & Funktionssymbole werden nicht ausreichend auf unerlaubte Zeichen getestet.

17. April 2012
Grundlegender Syntaxcheck einer FO-Formel mit Erstellen der Signatur.
known bugs:
none