Sec 1.1
2a. “Do not pass go.” Is a proposition
2f. “2
n
100” not a proposition unless you give n a context.
≥
6
p: “The Election is decided.”
Q: “The votes have been counted.”
c. ¬p ^ q
The election isn’t decided, and the votes have been counted.
f. ¬p
¬q
→
If the election isn’t decided then the votes have not been counted.
8
p: You have the flu.
q: You miss the final examination.
r: You pass the course.
b. ¬q
r
↔
You don’t miss the final examination if and only if you pass the course.
e. (p
¬r)
v (q
¬ r)
→
→
If you have the flu then you fail the course, or if you miss the final examination then
you fail the course.
10.
p: You get an A on the final exam.
q: You do every exercise in this book.
r: You get an A in this class
This preview has intentionally blurred sections. Sign up to view the full version.
View Full Documentb. p ^ q ^ r
f. r ↔(q v p)
16.
b. Exclusive “or” because the meal only allows you to have either a soup or a salad
but not both.
c. Inclusive “or” because you can have both items and still get into the country.
This is the end of the preview. Sign up
to
access the rest of the document.
 Spring '08
 McCann
 Logic, Contrapositive, Snow, sunny summer, ¬s

Click to edit the document details