Considere as seguintes proposições:
I - (p ∨ q) ⇒ p.
II - (p ∧ q) ⇒ (p ⇔ q).
III - (p ∧ q) ∧ ~ (p ∨ q).
Independentemente dos valores lógicos de p e q, podemos afirmar que I, II e III, nessa ordem, são:
- A tautologia, contingência e contradição.
- B contingência, tautologia e contradição.
- C contingência, contradição e tautologia.
- D contradição, contingência e tautologia.
- E contradição, tautologia e contigência.