///
Os diagramas lógicos são utilizados em problemas que envolvem os termos “todo”, “algum” e “nenhum” e a lógica de primeira ordem pressupõe que um problema consiste em uma série de afirmações que determina as relações entre elementos e que pode ser válida ou não. Em relação aos Diagramas Lógicos e à Lógica de Primeira Ordem, julgue o item a seguir.
Sabendo que Ana e Breno são pais de Carlos
e de Davi, que Carlos é pai de Eduardo e
Flávia, que Giovana é bisneta de Breno, e,
ainda, que somente essas pessoas citadas
compõem essa família, então Giovana é
neta de Davi.