Hypothetical Propositions:
Nonstandard Forms
"p if q"

The first and easiest of the nonstandard cases to translate occurs when the consequent is stated first, and the antecedent second.


I'll stay home tomorrow if I still feel sick.

The component proposition, "I still feel sick" is the antecedent, even though it comes second, because it is the "if" component. Thus, in standard form: "If I still feel sick, then I will stay home tomorrow." In general, "p if q" should be translated as, "If q, then p."

"p if q" | "p only if q" | "p if and only if q"
"p unless q" | "Whenever p, q" | "Without p, then q"

Hypothetical Propositions

© Copyright 1998, W.W. Norton & Co.