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

Passo 1

O enunciado pede para traduzir a fórmula \forall x\bigl(C(x)\to F(x)\bigr)
onde C(x) significa “ x é um comediante” e F(x) significa “ x é divertido”, tomando como domínio todas as pessoas.

Passo 2

A expressão \forall x indica que a frase vale para qualquer pessoa x. A parte C(x)\to F(x) é uma implicação que diz “se x é comediante, então x é divertido”. Unindo as duas ideias, obtemos a tradução em português.

Resposta

Para toda pessoa x, se x é um comediante, então x é divertido.

Exercícios de Livros Relacionados