Considere que
e
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.
Passo 1
O enunciado define as proposições
: “A eleição está decidida”
: “Os votos foram contados”
e pede para expressar em português a fórmula . Iremos traduzir cada parte e depois montar a frase composta.
e pede para expressar em português a fórmula
Passo 2
A subfórmula
significa “Os votos não foram contados”.
Passo 3
A subfórmula
significa “A eleição não está decidida e os votos foram contados”.
Passo 4
Agora juntamos as duas partes pela disjunção
:
= “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.”