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.

    11053d1320180705-one-point-rule-127_8cd87652721067acc2f2a1af99d8b9db.png

    Please help or any pointers would be much appreciated.

    Thanks
     
  2. jcsd
  3. Nov 3, 2011 #2

    Stephen Tashi

    User Avatar
    Science Advisor

    learn_maths,

    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.

    Thanks
     
  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.

    http://www.cs.cmu.edu/~15819/zedbook.pdf

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




Similar Discussions: Predicate logic and one point rule using Z notation
  1. Predicate Logic Help! (Replies: 0)

Loading...