question answer correponding form
Did Al travel by train?
(i.e., Is ψ true?)
Yes ψ
If he went to Boston ψ ← φ
Unless he went to Boston
If he didn’t go to Boston
ψ ← ¬ φ
No ¬ ψ
Not if he went to Boston ¬ ψ ← φ
Only if he went to Boston
Not unless he went to Boston
Not if he didn’t go to Boston
¬ ψ ← ¬ φ