A negação da proposição “Existe quadrado que não é retângulo”, de acordo com as regras da lógica para quantificadores, é:
Nenhum quadrado é retângulo.
Todo quadrado é retângulo.
Existe retângulo que não é quadrado.
Existe quadrado que é retângulo.
Todo retângulo é quadrado.
