Diga qual é a negação de cada proposição abaixo.
Todo triângulo isósceles é equilátero.
Todo triângulo isósceles é equilátero.
Passo 1
O enunciado é a afirmação “Todo triângulo isósceles é equilátero”. Isso é uma proposição universal sobre objetos
do domínio “triângulos”. Para negar essa proposição, vamos precisar usar as regras de negação de quantificadores e de implicação em lógica.
Passo 2
Formalizamos a proposição original como
Passo 3
Negamos a fórmula usando
Assim,
Passo 4
Traduzindo de volta para a linguagem natural, a negação diz que existe pelo menos um triângulo que é isósceles e não é equilátero.
Resposta
Existe algum triângulo isósceles que não é equilátero.