Considere as proposições abaixo.

T: "João será aprovado no concurso do TRT ou do TSE, mas não em ambos";

A: "João será aprovado no concurso do TRT";

B: "João será aprovado no concurso do TSE". Nesse caso, a proposição T estará corretamente simbolizada por

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.