Considere as proposições seguintes.

Q: "Se o Estrela Futebol Clube vencer ou perder, cairá para a segunda divisão";

A: "O Estrela Futebol Clube vence";

B: "O Estrela Futebol Clube perde";

C: "O Estrela Futebol Clube cairá para a segunda divisão". Nesse caso, a proposição Q pode ser expressa, simbolicamente, por A/\B→C.