Sejam p e q 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:
q \rightarrow p

Passo 1

O enunciado define duas proposições:
p: “a eleição foi decidida”
q: “os votos foram contados”
E pede para traduzir a fórmula lógica
q \rightarrow p
para uma frase em português, sabendo que “ \rightarrow” é o conectivo “se … então …”.

Passo 2

Em lógica proposicional, a sentença
q \rightarrow p
lê-se “se q, então p”. Ou seja, sempre que q for verdadeira, p também deve ser.

Passo 3

Substituindo q por “os votos foram contados” e p 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.”

Resposta

Se os votos foram contados, então a eleição foi decidida.

Exercícios relacionados