Need Help Translating Logical Statement into Haskell

1) There is a number that is at least as large as every nuber

Logical Statement: forall m, exists n imp n >= m

Haskell:

2) For every number, there is a different number such that there are no numbers between these two.

Logical Statement: for all m, exists p, not (exists k, n < k < m)

Haskell:

*** Once converted to haskell the statement should return either true or false ***