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.

Printable View

- May 23rd 2010, 04:38 AMskamoniLogical Implication
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. - May 25th 2010, 01:33 AMclic-clac
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).