# I Weird statement of conditions in propositional logic

Tags:
1. Aug 30, 2016

### Mr Davis 97

So I am studying conditionals in proposition logic, and I have discovered that there are a variety of ways to phrase a conditional "if p, then q" in English. Some of the harder ones are...

p is sufficient for q
a necessary condition for p is q
q unless ~p (where ~ is the not operator)
p only if q
a sufficient condition for q is p
q is necessary for p

Do I just need to brute force memorize these? Or is there a way to really understand them? Some of them just seem so counter-intuitive...

2. Aug 30, 2016

### Staff: Mentor

The second and fifth say the same thing in slightly different words.
The fourth is the converse of p if q (which is the same as if q then p).

An alternative to rote memorization of these is to understand the truth table for $p \Rightarrow q$.
Code (Text):
p.|..q...|..p → q
_________________
T.|..T...|....T
T.|..F...|....F
F.|..T...|....T
F.|..F...|....T
Hope that helps...