Raciocínio Lógico — estruturas lógicas (tabela verdade)

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 faces expostas: cisne, gato, número 7 e número 10, como se mostra: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, é