3.4 Logic
3.4 Logic
q if p q follows from p.
q when p q whenever p.
Not p or q. q unless ~p
Example 3.4.1 Write each of the following in
“If p, then q” form.
a. The number is an even number provided that it is
divisible by 2.