Suppose we have a set of sports teams in a league L, and a set of games G among those teams. Each game has a home team and a visiting team, who are two different teams in the league. We have predicates H(g, t) meaning "team t was the home team in game g" and V (g, t) meaning "team t was the visiting team in game g". Required:
Consider the predicate P(s, t) meaning "team s played a game against team t". Can you express this predicate in terms of the predicates H and V, along with boolean operators?