Antes da rodada final do campeonato inglês de futebol, um comentarista esportivo apresentou a situação das duas únicas equipes com chances de serem campeãs, por meio da seguinte afirmação:

“Para que o Arsenal seja campeão, é necessário que ele vença sua partida e que o Chelsea perca ou empate a sua.”

Uma maneira equivalente, do ponto de vista lógico, de apresentar esta informação é: “Para que o Arsenal seja campeão, é necessário que ele