Question on First Order Logic formula
- by none
Hi,
Can someone validate the following. I am supposed to
'write a formula asserting that for every number there's a unique next number...true for integers for instance'
L(x,y) means x is smaller than y
the intended Domain is the Integer numbers
Can I give
∀x ∀y [ x<y ⇒ ( ∃z : z<x ∨ y<z ) ]
Thanks