Let be and let be
Where R is a binary predicate symbol.
I have been asked to find an L structure consisting of 3 elements such that
My Professor hasn't really given us a method to do this, any help would be appreciated.
Hi
If I understand, you want a 3 elements structure where is true but isn't. In these sentences, precising a binary relation symbol properties, you can try to see as an order relation (perhaps the most common binary predicates are order or equivalence relations).
In such context, says that for any , there is a (for ), and that for any , there is a .
Then I guess you can quite easily define a partial order on three elements such that any two of them have a sup, but there are two with no inf (and in fact more: with no lower bound).