Usando os seguintes símbolos:
p(x)=" x é uma pessoa" q(x)=" x é um período de tempo" r(x, y)=" x é enganado por y "
Formalize os seguintes enunciados, no domínio formado pelo mundo inteiro:
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)).

Resposta

exists xl(p(x)land forall yl(q(y)to r(x,y)r)r)

Exercícios relacionados