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
é o conjunto finito
e pede para “desenvolver” a fórmula
usando apenas disjunções, conjunções e negações. O conteúdo aqui é traduzir o quantificador universal em uma conjunção sobre todos os elementos do domínio.
usando apenas disjunções, conjunções e negações. O conteúdo aqui é traduzir o quantificador universal em uma conjunção sobre todos os elementos do domínio.
Passo 2
Sabemos que, em um domínio finito
, a fórmula
é equivalente à conjunção
Passo 3
Aqui temos
e o domínio
. Logo,
é equivalente a