Sabe-se que são verdadeiras as afirmativas:

• Se Z, então não X.

• Se não Z, então Y.

Logo, deduz-se que:

Em uma caixa só pode haver bolas pretas ou brancas. Sabe-se que a caixa não está vazia e que não é verdade que “todas as bolas na caixa são pretas”.

Então é correto concluir que:

Considere a sentença: “Se x é um número par e y é um número maior do que x, então y é um número ímpar”.

Sendo x um elemento do conjunto A e y um elemento do conjunto B, um cenário no qual a sentença dada é sempre verdadeira é:

Considere a sentença: “Se Pedro é torcedor do Avaí e Marcela não é torcedora do Figueirense, então Joana é torcedora da Chapecoense”.

Uma sentença logicamente equivalente à sentença dada é: