Hi

If I understand, you want a 3 elements structure where \(\displaystyle \theta\) is true but \(\displaystyle \phi\) isn't. In these sentences, precising a binary relation symbol properties, you can try to see \(\displaystyle R\) as an order relation (perhaps the most common binary predicates are order or equivalence relations).

In such context, \(\displaystyle \theta\) says that for any \(\displaystyle x,y\), there is a \(\displaystyle \sup(x,y)\) (for \(\displaystyle R\)), and \(\displaystyle \phi\) that for any \(\displaystyle x,y\), there is a \(\displaystyle \inf(x,y)\).

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).