Dismiss Notice
Join Physics Forums Today!
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

  1. Nov 2, 2011 #1
    Hello all,

    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.

  2. jcsd
  3. Nov 3, 2011 #2

    Stephen Tashi

    User Avatar
    Science Advisor


    The notation and terminology of logic is not as standardized as the notation and terminology of a subject like Calculus. So if you ask a question about logic that uses a lot of notation, it is quite possible that people who did not study your particular textbook won't know what you're talking about.

    Speaking for myself, I don't know what the "one point rule" is. I don't know what "Z notation" is. And I don't know what the [itex] \mathbb{N} [/itex] means in your formula. I presume it has to do with the natural numbers, but I don't see how it relates to any of the variables.
  4. Nov 4, 2011 #3
    Steve thanks for the reply. By far i have noticed that not many people know Z notation. And I’m quite surprised why then the universities prefer to use Z for teaching. Since I’m a learner what is the standard notation for set theory? Any links to understand the standard notation would be very helpful.

    I did get same sort of reaction in few other forum when I posted Z notation.

  5. Nov 4, 2011 #4

    Stephen Tashi

    User Avatar
    Science Advisor

    I haven't opened a logic book in 30 years and I'm not current on good web sites for symbolic logic. If nobody else jumps into this thread with some recommendations, I'm sure that if you start a new thread whose title indicates you want links and books, you'll get some answers.

    Do you have a good link or book for "Z notation"? I'm curious about it.
  6. Nov 5, 2011 #5
    >Do you have a good link or book for "Z notation"? I'm curious about it.
    Check this book out. The title explains what the book is all about. This is the book which i'm refering at the movement.


Know someone interested in this topic? Share this thread via Reddit, Google+, Twitter, or Facebook

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