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” e
: “Os votos foram contados” e pede para traduzir a forma composta
em uma sentença em português. Em lógica proposicional,
é uma implicação que se lê “Se
, então
”.
Passo 2
Substituindo
e
na forma “Se
, então
”, obtemos a sentença em português:
Resposta
Se os votos foram contados, então a eleição está decidida.