Transcreva estas proposições para o português, em que
é "
é um comediante" e
é "
é divertido" e o domínio são todas as pessoas.
Passo 1
O enunciado pede para traduzir para o português a fórmula
onde
significa “
é um comediante”,
significa “
é divertido” e o domínio de
são todas as pessoas.
Passo 2
O quantificador existencial
quer dizer “existe pelo menos uma pessoa
” ou “há alguém tal que”.
Passo 3
A implicação
se lê “se
é comediante, então
é 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.”
“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.