Questão de Raciocínio LógicoEquivalências, Negações e Implicações Lógicas

A professora de Matemática vai propor aos seus alunos que analisem a veracidade de afirmações sobre geometria. Antes disso, resolveu discutir a questão do significado de implicação em lógica (se a é verdade, então b é verdade). Para isso, apresentou à classe um conjunto de cartões quadrados de cartolina, que têm em uma das faces ou uma figura representando um mamífero ou uma figura representando uma ave. A outra face de cada cartão ou é de cor verde ou é de cor azul. A professora afirmou para seus alunos: “se uma das faces de um cartão tem uma ave, então o verso desse cartão é de cor azul”. Depois, a professora disse: “vou retirar aleatoriamente três cartões e vou mostrar as duas faces de cada um e vocês devem responder se algum desses cartões contradiz minha afirmação” Seguem as descrições dos cartões retirados pela professora:
Cartão 1: há a figura de um macaco em uma das faces e a outra face é de cor azul. Cartão 2: há a figura de um cavalo em uma das faces e a outra face é de cor verde. Cartão 3: há a figura de um papagaio em uma das faces e a outra face é de cor azul.
É correto afirmar que