Considere as seguintes proposições: (p ∧ r) → q, p ∨ q, q'...

As alternativas são contraditórias, já que não poderiam ser verdadeiras ao mesmo tempo.

A proposição r' é uma consequência das proposições dadas, uma vez que (p ∧ r) → q ∧ p ∨ q ∧ q') → r' é uma tautologia.

As três proposições dadas podem ser verdadeiras, mesmo quando p é falsa.

A proposição q' → (p ∨ q) é uma tautologia.

As três proposições podem ser falsas ao mesmo tempo.