A negação da proposição “Existe triângulo equilátero que não é isósceles”, de acordo com as regras da lógica para quantificadores, é:
Existe triângulo equilátero que é isósceles.
Existe triângulo isósceles que não é equilátero.
Existe triângulo que não é isósceles e nem equilátero.
Todo triângulo equilátero não é isósceles.
Todo triângulo equilátero é isósceles.
