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.
\exists x(C(x) \rightarrow F(x))

Passo 1

O enunciado pede para traduzir para o português a fórmula
\exists x\,\bigl(C(x)\rightarrow F(x)\bigr)
onde C(x) significa “ x é um comediante”, F(x) significa “ x é divertido” e o domínio de x são todas as pessoas.

Passo 2

O quantificador existencial \exists x quer dizer “existe pelo menos uma pessoa x” ou “há alguém tal que”.

Passo 3

A implicação C(x)\rightarrow F(x) se lê “se x é comediante, então x é divertido”.

Passo 4

Juntando as duas partes, obtemos em português:
“Existe pelo menos uma pessoa tal que, se ela é comediante, então ela é divertida.”

Resposta

Existe pelo menos uma pessoa tal que, se ela é comediante, então ela é divertida.

Exercícios de Livros Relacionados