Question on First Order Logic formula

Posted by none on Stack Overflow See other posts from Stack Overflow or by none
Published on 2010-06-09T14:37:35Z Indexed on 2010/06/09 14:52 UTC
Read the original article Hit count: 295

Filed under:
|
|

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

© Stack Overflow or respective owner

Related posts about homework

Related posts about logic