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 “
” no domínio dos números inteiros. Precisamos descobrir para quais inteiros essa igualdade é verdadeira e, em seguida, avaliar especificamente
.
Passo 2
Para saber quando
vale, reescrevemos:
Como produto é zero, temos as soluções inteiras
ou
.
Passo 3
Como
não é nenhuma das soluções (não é nem
nem
), a igualdade
não se verifica. Logo,
é falsa.