one-point rule

[maths~reader]

Hello all,

Please help here in solving this problem. I'm trying to simplify the following equation using one-point rule and other predicate logic.

\(\displaystyle \exists x:\mathbb{N}\bullet(\forall y:\mathbb{N}\bullet y\neq z \vee y \neq x) \Rightarrow (\forall y:\mathbb{N} \bullet z > y)\)

Any help or a direction would be much helpful.

Thanks very much

 

[pka]

Hello all,

Please help here in solving this problem. I'm trying to simplify the following equation using one-point rule and other predicate logic.

\(\displaystyle \exists x:\mathbb{N}\bullet(\forall y:\mathbb{N}\bullet y\neq z \vee y \neq x) \Rightarrow (\forall y:\mathbb{N} \bullet z > y)\)

So far as I know, you are once again using non-standard vocabulary and/or notation.
What is a one-point rule?
How does one read \(\displaystyle \exists x:\mathbb{N}\bullet(\forall y:\mathbb{N}\bullet y\neq z \vee y \neq x) \Rightarrow (\forall y:\mathbb{N} \bullet z > y)\)?

 

[maths~reader]

Thanks for the reply pka. I'm using a Z notation to represent predicate 'OR' in \(\displaystyle \vee\) in discrete maths. I'm sure you know that.

Read page 48 from the link bellow for the explaintion on one-point rule
http://www.usingz.com/text/zedbook.pdf

Thanks very much

 

[pka]

Thanks for the reply pka. I'm using a Z notation to represent predicate 'OR' in \(\displaystyle \vee\) in discrete maths. I'm sure you know that.
Read page 48 from the link bellow for the explaintion on one-point rule
http://www.usingz.com/text/zedbook.pdf

I cannot speak for anyone else, but I for one have no intention of learning a non-standard set of notations. So, I far as I can see you are on your own with is study. If I were you, I would find a group of students also studying this material. The group can help one another.