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.
\neg q \vee(\neg p \wedge q)

Passo 1

O enunciado define as proposições p: “A eleição está decidida” q: “Os votos foram contados”
e pede para expressar em português a fórmula \neg q \vee (\neg p \wedge q). Iremos traduzir cada parte e depois montar a frase composta.

Passo 2

A subfórmula \neg q significa “Os votos não foram contados”.

Passo 3

A subfórmula \neg p \wedge q significa “A eleição não está decidida e os votos foram contados”.

Passo 4

Agora juntamos as duas partes pela disjunção \vee: \neg q \vee (\neg p \wedge q) = “Os votos não foram contados ou a eleição não está decidida e os votos foram contados”.

Resposta

“Os votos não foram contados ou a eleição não está decidida e os votos foram contados.”

Exercícios de Livros Relacionados