Qual a NEGAÇÃO lógica da proposição: “Existe um cavalo que sabe somar”?

Vamos entender primeiro o que significa negar uma proposição envolvendo quantificadores. A proposição dada é ‘Existe um cavalo que sabe somar’. Em linguagem lógica, isso é um quantificador existencial: ∃x (x é cavalo e x sabe somar). A negação de uma afirmação existencial é uma afirmação universal negativa. Ou seja, a negação de ‘Existe um cavalo que sabe somar’ é ‘Para todo cavalo, ele não sabe somar’. Isso equivale a dizer: ‘Todo cavalo não sabe somar’. As outras opções ou falam de subtração, que é outro assunto, ou negam a existência de cavalos, que é mais forte do que a negação proposta. A alternativa correta está na letra C.