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 pede para transformar a fórmula com quantificador universal
num domínio finito em uma expressão apenas com conjunções, disjunções e negações. O conteúdo é a interpretação do quantificador universal como uma conjunção de casos individuais.
num domínio finito
Passo 2
Pelo princípio de domínio finito, a afirmação
é verdadeira se, e só se, for verdadeira para cada elemento do conjunto
. Portanto, ela se converte na conjunção dos cinco predicados
,
,
,
e
.
é verdadeira se, e só se,