Questão FC41900
André tem um conjunto de cartas. Cada carta tem apenas um número em uma das faces e a foto de apenas um animal na outra. André dispôs quatro cartas sobre a mesa com as seguintes fa
Lógica de Proposições
VUNESP · 2013

André disse: “Se na face de uma carta há um número par, então no verso há um animal mamífero”. Para verificar se a afirmação de André está correta, é
- suficiente que se verifiquem os versos das cartas B e C.
- suficiente que se verifiquem os versos das cartas A e C.
- suficiente que se verifiquem os versos das cartas A e D.
- suficiente que se verifiquem os versos das cartas B e D.
- necessário que se verifiquem os versos das quatro cartas.
Mostrar resposta e comentário
Gabarito
Certo
Comentário do professor
André afirma uma condicional do tipo \(p \to q\), onde \(p\) = "na face há um número par" e \(q\) = "no verso há um animal mamífero".
Uma condicional é falsa somente quando \(p\) é verdadeira e \(q\) é falsa, isto é, quando existe uma carta com número par cujo verso não é mamífero, ou seja, um contraexemplo.
Por isso é suficiente verificar o verso da carta D (mostra o número 10, um \(p\) verdadeiro), para confirmar se o verso é mamífero, e o verso da carta A (mostra o cisne, um \(q\) falso), para confirmar se o frente não é um número par. Essas duas verificações detectam qualquer violação da regra.
Conteúdo do catálogo FC Concursos · Atualizado em