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

Passo 1

O enunciado define as proposições
p: “a eleição foi decidida”
q: “os votos foram contados”
e pede para traduzir
\neg p \rightarrow \neg q
para uma frase em português. Vamos usar a interpretação de negação e de implicação.

Passo 2

A negação de p é “a eleição não foi decidida” e a negação de q é “os votos não foram contados”.

Passo 3

A forma \neg p \rightarrow \neg q significa “se não p, então não q”, 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.

Exercícios relacionados