As primeiras 5 perguntas, com a resolução. As restantes estão no Simulador.
Pergunta 5
Em símbolos, como é que se escreve: "A soma de quaisquer dois números racionais é sempre um número positivo"?
- $\exists x, y \in \mathbb{Q}: x + y > 0$
- $\forall x, y \in \mathbb{Q}: x + y > 0$
- $\exists x, y \in \mathbb{Q}: x + y \ge 0$
- $\forall x, y \in \mathbb{Q}: x + y \ge 0$
Resposta: B. "Quaisquer" traduz-se pelo quantificador universal $\forall$, e "positivo" é estritamente maior que zero ($> 0$).
(A proposição é falsa, por exemplo $-1 + (-2) < 0$, mas a pergunta pede só a tradução.)
Aula em vídeo:
▶ Lógica: quantificadores — Equaciona Com Paulo Pereira