Hello all,(adsbygoogle = window.adsbygoogle || []).push({});

I'm in the process of simplifying the following equation using one-point rule and other predicate logic. But I’m a bit stuck with where to start or which inference rule to use first.

Please help or any pointers would be much appreciated.

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 and one point rule using Z notation

Loading...

Similar Threads - Predicate logic point | 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 to prove equality of two formulas | Jul 2, 2012 |

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