A frase “O atleta venceu a corrida ou a prova foi cancelada” de acordo com a lógica proposicional é equivalente à frase:
Se o atleta não venceu a corrida, então a prova foi cancelada
Se o atleta venceu a corrida, então a prova foi cancelada
Se o atleta venceu a corrida, então a prova não foi cancelada
Se o atleta não venceu a corrida, então a prova não foi cancelada
Se a prova não foi cancelada, então o atleta não venceu a corrida
