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) \wedge F(x))

Passo 1

O enunciado dá a fórmula
\exists x\,(C(x)\wedge F(x))
em que C(x) significa “ x é um comediante” e F(x) significa “ x é divertido”, com domínio sendo todas as pessoas. Pede-se traduzir essa proposição para o português.

Passo 2

O quantificador \exists x indica que “existe pelo menos uma pessoa” e a conjunção \wedge liga as duas propriedades, isto é, “que seja comediante e divertido(a)”.

Resposta

Existe pelo menos uma pessoa que é comediante e divertida.

Exercícios de Livros Relacionados