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.