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

Passo 1

O enunciado define as proposições p: “A eleição está decidida” e q: “Os votos foram contados” e pede para traduzir a forma composta q \rightarrow p em uma sentença em português. Em lógica proposicional, q \rightarrow p é uma implicação que se lê “Se q, então p”.

Passo 2

Substituindo q e p na forma “Se q, então p”, obtemos a sentença em português:

Resposta

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

Exercícios de Livros Relacionados