Suponha que o domínio da função proposicional
sejam os números inteiros
e 5 . Expresse estas proposições sem usar quantificadores, mas, sim, apenas negações, disjunções e conjunções.
Passo 1
O enunciado pede para eliminar o quantificador existencial
num domínio finito , usando apenas negações
, disjunções
e conjunções
.
num domínio finito
Passo 2
Quando o domínio é finito e enumerado,
é verdadeiro sempre que for verdadeiro para pelo menos um desses elementos. Logo, podemos substituir o quantificador
por uma disjunção de todas as instâncias.
é verdadeiro sempre que