Suponha que o domínio da função proposicional
sejam
e 5 . Expresse estas proposições sem usar quantificadores, mas, sim, apenas negações, disjunções e conjunções.
Passo 1
O enunciado diz que o domínio de
é
e pede para reescrever
sem quantificadores, usando apenas negações, conjunções e disjunções. Quando o domínio é finito, a existência se traduz em disjunção sobre todos os elementos que satisfazem a condição.
Passo 2
Primeiro, identificamos quais elementos do domínio satisfazem
. Dentre
, apenas
são maiores ou iguais a zero.
Passo 3
Para eliminar o quantificador existencial, fazemos a disjunção de
para cada um desses valores: