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 a composição em uma frase em português.
E pede para expressar a composição
Passo 2
O conectivo “
” em lógica é o bicondicional, que em linguagem natural costuma ser traduzido por “se, e somente se”. Assim, a frase geral para
é:
“ se, e somente se,
.”
“
Resposta
A eleição está decidida se, e somente se, os votos foram contados.