Predicate logic and one point rule using Z notation

  • #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
 

Answers and Replies

  • #2
Stephen Tashi
Science Advisor
7,583
1,472
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.
 
  • #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
 
  • #4
Stephen Tashi
Science Advisor
7,583
1,472
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.
 
  • #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
 

Related Threads on Predicate logic and one point rule using Z notation

  • Last Post
Replies
17
Views
2K
Replies
6
Views
6K
  • Last Post
Replies
0
Views
3K
  • Last Post
Replies
3
Views
5K
Replies
3
Views
2K
  • Last Post
Replies
3
Views
974
  • Last Post
Replies
23
Views
2K
  • Last Post
Replies
23
Views
3K
  • Last Post
Replies
8
Views
4K
  • Last Post
Replies
15
Views
5K
Top