Transcreva estas proposições para o português, em que C(x) é " x é um comediante" e F(x) é " x é divertido" e o domínio são todas as pessoas.
\forall x(C(x) \wedge F(x))

Passo 1

O enunciado nos dá a fórmula
\forall x\,(C(x)\wedge F(x))
onde o domínio são todas as pessoas, C(x) significa “ x é um comediante” e F(x) significa “ x é divertido”. O objetivo é traduzir essa sentença para o português.

Passo 2

A interpretação de cada parte é:
– O quantificador \forall x significa “para toda pessoa x” ou “todas as pessoas”.
– A conjunção C(x)\wedge F(x) significa “ x é comediante e x é divertido”.
Assim, juntando tudo, obtemos a tradução em português.

Resposta

Todas as pessoas são comediantes e são divertidas.

Exercícios de Livros Relacionados