English To Logical Form

Logical Connectives

• Neither A nor B: $\neg A\vee \neg B$

Conditional Statement

• Q Necessary for P: $P⟹Q$
• Q if P: $P⟹Q$
• P only if Q: $P⟹Q$
• P Sufficient for Q: $P⟹Q$
• P unless Q: $P⟺Q$

Quantifier

$\forall$: Everyone, Everything $\exists$: Someone, something