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 as proposições
: “a eleição foi decidida”
: “os votos foram contados”
e pede para traduzir
e pede para traduzir
para uma frase em português. Vamos usar a interpretação de negação e de implicação.
Passo 2
A negação de
é “a eleição não foi decidida” e a negação de
é “os votos não foram contados”.
Passo 3
A forma
significa “se não
, então não
”, ou seja, “se a eleição não foi decidida, então os votos não foram contados”.
Resposta
Se a eleição não foi decidida, então os votos não foram contados.