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 ...