Usando os seguintes símbolos:
é uma pessoa"
é um período de tempo"
é enganado por
"
Formalize os seguintes enunciados, no domínio formado pelo mundo inteiro:
Você pode enganar algumas pessoas durante todo o tempo.
Você pode enganar algumas pessoas durante todo o tempo.
Passo 1
O enunciado pede para formalizar “Você pode enganar algumas pessoas durante todo o tempo” usando os predicados dados no domínio de todos os objetos do mundo.
Passo 2
Precisamos identificar as quantificações: “algumas pessoas” vira ∃x com p(x) e “todo o tempo” vira ∀y com q(y). A relação de enganar no tempo y é r(x,y).
Passo 3
Conectamos tudo: existe uma pessoa x tal que, para todo período y, se y é um período de tempo (q(y)), então x é enganado em y (r(x,y)).