- Lógica ProposicionalContingência, Contradição e Tautologia
- Lógica ProposicionalEquivalências Lógicas
Considere as seguintes afirmações a respeito da função \(f:\mathbb{R} \rightarrow \mathbb{R}\), definida como y = f(x) = ax2 + bx + c, com a, b e c reais, e a ≠ 0:
- \(p: (\forall x \in \mathbb{R}); \begin{cases} a > 0 \rightarrow f(x) \ge c - \dfrac{b^2}{4 \cdot a} \end{cases}\)
- \(q: (\forall x \in \mathbb{R}); \begin{cases} a < 0 \rightarrow f(x) \le c - \dfrac{b^2}{4 \cdot a} \end{cases}\)
- \(r: (\forall x \in \mathbb{R}); (b^2 - 4 \cdot a \cdot c < 0 \rightarrow f(x) > 0 \lor f(x) < 0)\)
Com base nas proposições apresentadas, tem valor lógico verdadeiro a proposição composta