Recent content by budihart
-
B
Undergrad Predicate logic to prove equality of two formulas
Hi All, I'm trying to write a program that will prove that a certain mathematical formula that is entered by a student is the same as the goal formula that I want. For example, if the goal formula is: 2 * X + Y then any of this student's answer can be considered correct: -> X + X + Y...- budihart
- Thread
- Formulas Logic Predicate logic
- Replies: 2
- Forum: Set Theory, Logic, Probability, Statistics