Considere que p e q 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.
\neg q \rightarrow \neg p

Passo 1

O enunciado dá as proposições p: “A eleição está decidida” q: “Os votos foram contados”
e pede para expressar em português a fórmula
\neg q \;\rightarrow\;\neg p.

Passo 2

Reconhecemos que \neg q se lê “os votos não foram contados”
e \neg p se lê “a eleição não está decidida”.
A implicação “ \neg q \rightarrow \neg p” em português equivale a
“Se \neg q, então \neg p”,
ou seja,

Resposta

Se os votos não foram contados, então a eleição não está decidida.

Exercícios de Livros Relacionados