Considere
como a proposição "
. Se o domínio forem os números inteiros, quais serão os valores-verdade?
Passo 1
O enunciado define a proposição
como “
” e fixa o domínio em todos os números inteiros. Queremos determinar o valor-verdade de
.
Passo 2
Para avaliar
, substituímos
por
na igualdade
. Isso nos dá a igualdade
Passo 3
Calculamos o quadrado de
:
Logo, a igualdade fica
o que é manifestamente falsa.