Hallo,
ich benötige ein Pythonmodul, in dem ich Terme und Aussagen höherstufiger Prädikatenlogik darstellen kann. Ich benötige keine Kalkülregeln oder irgendwelche Transformationen auf den dargestellten Ausdrücken. Das Modul "sympy" wäre eigentlich ideal, es lässt meines Wissens aber keine Quantifizierung von Prädikaten zu.
Gibt es vielleicht eine Erweiterung von "sympy", die das zulässt? Oder gibt es ein anderes (unbekannteres) Modul, was Ausdrücke der Prädikatenlogik zweiter Stufe (und höher) zulässt?
Viele Grüße,
Simon
