(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

(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.

RESPONDER

Isadora Xavier está aguardando sua ajuda, Clique aqui para responder.