a touurnament is a competition of n players where every player plays one game against every other player, each resulting in a win or a loss

a touurnament is a competition of n players where every player plays one game against every other player, each resulting in a win or a loss. a touurnament champion is one where , for each other player, either won her game against that player, or won a game against a player who in turn won his game against that player (or both).. Define a RPS tournament as one where the following FOL statement is true: ∀x. ∀y. (x beat y → ?z.(y beat z ∧ z beat x) )

1) Draw an RPS tournament with 5 players

2) Prove that a tournament T is an RPS tournament if and only if every player in T is a tournament champion