Considere as proposições a seguir.

R: "Ou o Saturno Futebol Clube vence ou, se perder, cairá para a segunda divisão";

A: "O Saturno Futebol Clube vence";

B: "O Saturno Futebol Clube perde";

C: "O Saturno Futebol Clube cairá para a segunda divisão". Nesse caso, a proposição R pode ser expressa, simbolicamente, por

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.

Considerando que P seja a proposição "Todo jogador de futebol será craque algum dia", então a proposição ¬P é corretamente enunciada como "Nenhum jogador de futebol será craque sempre".

A proposição A/\(¬B)→¬(A/\B) é uma tautologia.

Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição ¬(A/\B)→A/\(¬B).

A proposição ¬(A\/B)→(¬A)\/B é uma tautologia.

Na tabela abaixo, a última coluna da direita corresponde à tabela-verdade da proposição (¬A)\/B→¬(A\/B).

A emissão descontrolada de gases que ampliam o efeito estufa é normalmente entendida como responsável, em larga medida, pelo fenômeno conhecido como aquecimento global.