Suponha que o domínio da função proposicional
sejam os números inteiros
e 4. Desenvolva estas proposições usando disjunções, conjunções e negações.
Passo 1
O enunciado diz que o domínio de
é
e pede para reescrever a proposição
apenas com disjunções, conjunções e negações.
Passo 2
Em um domínio finito,
equivale à disjunção de
para cada elemento
do domínio. Logo,