Pythonmodul für die Darstellung von höherstufiger Prädikatenlogik
Verfasst: Montag 17. Februar 2025, 16:39
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
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