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 dá as proposições
: “A eleição está decidida”
: “Os votos foram contados”
e pede para expressar em português a fórmula
e pede para expressar em português a fórmula
Passo 2
Reconhecemos que
se lê “os votos não foram contados”
e se lê “a eleição não está decidida”.
A implicação “ ” em português equivale a
“Se , então
”,
ou seja,
e
A implicação “
“Se
ou seja,
Resposta
Se os votos não foram contados, então a eleição não está decidida.