In this slide we introduce the Truth Tree Method which is a technique proving that a conclusion formula $C$ in Propositional Logic is a logical consequence of a set ...

STACK loads the "logic" package from Maxima. Note, there is no mechanism in Maxima to represent a list of assignments such as x=1 or x=2, which would be a natural way to express the solution to a ...