Sejam
e
as proposições “a eleição foi decidida” e “os votos foram contados”, respectivamente. Expresse cada uma das proposições abaixo como uma sentença em português:
Passo 1
O enunciado define duas proposições:
: “a eleição foi decidida”
: “os votos foram contados”
E pede para traduzir a fórmula lógica
E pede para traduzir a fórmula lógica
para uma frase em português, sabendo que “
” é o conectivo “se … então …”.
Passo 2
Em lógica proposicional, a sentença
lê-se “se
, então
”. Ou seja, sempre que
for verdadeira,
também deve ser.
Passo 3
Substituindo
por “os votos foram contados” e
por “a eleição foi decidida”, obtemos a forma natural da implicação.
Passo 4
Formulamos a frase completa usando o “se … então …”:
“Se os votos foram contados, então a eleição foi decidida.”
“Se os votos foram contados, então a eleição foi decidida.”
Resposta
Se os votos foram contados, então a eleição foi decidida.