João, Carlos e Rafael criaram um jogo baseado no lançamento simultâneo de dois dados, para se divertirem. A cada partida do jogo, os dados eram arremessados e os números das faces voltadas para cima, somados. Os jogadores deveriam obedecer às seguintes regras:
Cada jogador deveria escolher um único valor para representar a soma das faces dos dois dados, antes destes serem atirados.
Os jogadores deveriam escolher valores distintos.
Venceria a partida o jogador que acertasse a soma dos números mostrados nas faces voltadas para cima dos dados.
Nesses termos, pode-se dizer que
