Unary relation in a logical sentence

$\begingroup$

I'd appreciate help with this sentence:

Let there be a language L and a structure M, and I need to prove the following sentence is logically false: $$\varphi :\exists xR(x)\rightarrow \forall yR(y)$$

My problem with this is that I'm having a hard time understanding what an unary relation is. The same example would be much easier (for me) if R was a binary relation.

I'd appreciate some examples for such a relation. Thank you

$\endgroup$ 6 Sorted by: Reset to default

Know someone who can answer? Share a link to this question via email, Twitter, or Facebook.

Your Answer

Sign up or log in

Sign up using Google Sign up using Facebook Sign up using Email and Password Submit

Post as a guest

Post Your Answer Discard

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy