Enunciados de questões e informações de concursos
Qual a formalização correta da sentença: “Existem matemáticos não gentis” usando a Lógica de Primeira Ordem? Adote a letra M e G como sendo os predicados, “é matemático” e “é gentil“, respectivamente.