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.
Se alguns programadores são professores e nenhum digitador é um professor, então nenhum programador é um digitador.