What are some different ways to write the conditional statement $p\implies q\,$, but in English?
There's the obvious "If p, then q", but are there any other ways to write it? I'm looking for another 3 or 4 ways to express this.
Different ways to write, or express, the conditional statement $p \rightarrow q$ besides "if $p$ then $q$."
Logically, we can write $(10)$ as $$(p \rightarrow q) \equiv (\lnot p \lor q)$$ and $(11)$ as $$(p \rightarrow q) \equiv \lnot(p \land \lnot q)$$
Those are just a few of the ways one can express "if $p$, then $q$." But some expressions may be more intuitive than others.
One final note: The term "unless" also relates to "if and only if" in the following sense: as in "$p$ unless $q$" is equivalent to "unless $q$, then $p$" which is equivalent to "if not $q$, then $p$".
There appears to be some confusion in several answers above, I do not have sufficient reputation points to add a comment to the question and it seem rude to edit the answer p⟹q does not imply q⟹p
let p be "john drives to another city" let q be "john gets in a car"
If "John drives to another city" then "John gets in a car" but it does not follow that If "John gets in a car" then "John drives to another city"
For a numeric equivalent let p be x = 4 let q be x^2 = 16
If x=4 then x^2=16 but it does not necessarily follow that If x^2=16 then x=4
Hence only the following are true: