(Lógica para computação - lógica dos predicados) O órgão responsável por controles epidemiológicos de um país publicou um estudo sobre a vacinação na população. Nesta publicação, informou que "todos cidadãos (C) estão vacinados (V)", e que "nenhum vacinado está doente (D)". Logo, pode-se concluir que "todos os cidadãos não estão doentes". Essa argumentação é válida?
Para responder a resposta deve-se: (1) formalização das argumentações (na forma normal); (2) aplicação de um método estudado de demonstrações das inferências; e (3) conclusões, com justificativas das respostas com base nas análises das demonstrações.