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.