Admita verdadeira a declaração: “se gato é felino, então cachorro não é felino”....

Questão de Raciocínio Lógico da banca COPEVE UFAL aplicada no concurso IFAL (2011). Confira a resolução completa abaixo:

Admita verdadeira a declaração: “se gato é felino, então cachorro não é felino”. Nestas condições, concluímos corretamente que,