Hi All,(adsbygoogle = window.adsbygoogle || []).push({});

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

-> X - 5 + X + Y + 5

-> X/Y * Y + Y + X

-> Y + X * 2

and so on.

I have a thought that I can solve this problem by converting this mathematical formula to a predicate logic. But I still cannot figure out, how can I actually do it.

Any help is really appreciated.

Many thanks

**Physics Forums - The Fusion of Science and Community**

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Predicate logic to prove equality of two formulas

Loading...

Similar Threads - Predicate logic prove | Date |
---|---|

A First order logic : Predicates | Jun 1, 2017 |

I Problems with Existential Instantiation | Feb 10, 2017 |

Predicate Logic Problem | Aug 23, 2015 |

Translating sentence into symbols | Jan 29, 2015 |

Predicate logic and one point rule using Z notation | Nov 2, 2011 |

**Physics Forums - The Fusion of Science and Community**