Determine whether the logical statement (P -> Q) -> (P' -> Q') is a tautology, contradiction, or contingency.

Determine whether the logical statement (P -> Q) -> (P' -> Q') is a tautology, contradiction, or contingency.

From the ICB Assistant Programmer June 2026 – Written exam, question 5 of 11.

More from this paper