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
Temos a proposição universal “Todo triângulo isósceles é equilátero”. Em linguagem de lógica de predicados, isso equivale a
onde
é “
é triângulo isósceles” e
é “
é triângulo equilátero”. Para negar essa afirmação, vamos usar a regra de negação de quantificadores e de implicação.
Passo 2
A negação de um quantificador universal
é
Aplicando isso à nossa proposição,
Em seguida, usamos a equivalência lógica
de modo que
Resposta
Existe pelo menos um triângulo que é isósceles e não é equilátero.