Equivalent English Forms (Each table element -- i.e., box -- below gives English forms. Instances of each can be symbolized by a sentence of any SL form on its right. Please note that there are many more English forms than can be covered below.) Equivalent SL Forms (Each table element below gives SL sentence-forms to guide in translating English sentences of forms found on the left. Please note that this is an incomplete list of possible symbolizations.) Example Applications (Each of the table elements below shows a way to apply the table elements on their left.)

If P, then Q.
If P, Q.
Provided P, Q.
Were P to hold, Q would be true.
Should P be true, Q.
P only if Q.
P is a sufficient condition for Q.
P implies Q.

P>Q
~Q>~P 		If there is fire, then there is Oxygen" or "There is fire only if there is oxygen" may both be symbolized as 'F>O' or equivalently as '~O>~F'.
P if Q.
P provided Q.
P is a necessary condition for Q.
 Q>P
~P>~Q 		"Water is a necessary condition for life" or "there's water if there's life" may both be symbolized as 'L>W' or equivalently as '~W>~L'.
P if and only if Q.
P just in case Q.
P is necessary and sufficient for Q.
 P=Q
(P>Q)&(Q>P) 		"An argument is sound if and only if it is both valid and has true premises" may be symbolized as either 'S=(V&T)' or '[S>(V&T)] &[(V&T)>S]'

Both P and Q.
P and Q.
P but Q.
Q and P.
Q but P.
P however Q.
P although Q.
P moreover Q.

 P&Q
Q&P 		"Sandra is both brave and careful", "Sandra is brave, moreover she is careful' or "Sandra is brave but careful" can all be symbolized as 'B&C' or 'C&B'.
Either P or Q.
Either Q or P.
P or Q.
Q or P.
At least one of P, Q.
 PvQ
QvP 		"Either the other team will score and tie up the game, or we win!" can be symbolized as '(S&T)vW'.
P unless Q.
Q unless P.
Unless P, Q.
Unless Q, P.
 PvQ
~Q>P
~P>Q 		"We win unless the other team scores" can be symbolized as 'WvS', '~W>S', or '~S>W'.
Neither P nor Q.
Not-P and not-Q.
~(PvQ)
~P&~Q 		"They neither scored not tied the game" may be symbolized as either '~(WvT)' or '~W&~T'.
It's not the case that both P and Q.
Not both P and Q.
Either not-P or not-Q.
 ~(P&Q)
~Pv~Q 		"Sandra is not both brave and careful" may be symbolized as either '~(B&C)' or '~Bv~C'.