### Possible Answer

The Logic Machine at Texas A&M University hosts interactive logic software used for teaching introductory formal logic. The Daemon Proof Checker checks proofs and can provide hints for students attempting to construct proofs in a natural deduction system for sentential (propositional) and first ... - read more

Existing Logic Calculators Logic calculators are disappearing faster than I learn about them. The only ones I know of that still work are: ProB Logic Calculator - read more

Please vote if the answer you were given helped you or not, thats the best way to improve our algorithm. You can also submit an answer or search documents about predicate logic proof calculator.