Review: Translating English Sentences to Logic

Here we are trying to convert English sentences into implications. Therefore we always pick two predicates such that we get:

P => Q

We can parse the English sentences and assign P and Q as follows:

• "if P, then Q"
• "if P, Q"
• "P is sufficient for Q"
• "Q if P"
• "Q when P"
• "a necessary condition for P is Q"
• "P implies Q"
• "P only if Q"
• "a sufficient condition for Q is P"
• "Q whenever P"
• "Q is necessary for P"
• "Q follows from P"