Considere que p e q são proposições: “A eleição está decidida” e “Os votos foram contados”, respectivamente. Expresse cada uma destas proposições compostas como uma sentença em português.
p \leftrightarrow q

Passo 1

O enunciado define as proposições \;p: “A eleição está decidida.” \;q: “Os votos foram contados.”
E pede para expressar a composição p \leftrightarrow q em uma frase em português.

Passo 2

O conectivo “ \leftrightarrow” em lógica é o bicondicional, que em linguagem natural costuma ser traduzido por “se, e somente se”. Assim, a frase geral para p \leftrightarrow q é:
p se, e somente se, q.”

Resposta

A eleição está decidida se, e somente se, os votos foram contados.

Exercícios de Livros Relacionados