The answer to C is r -> p: if you get an A in the class, you know you must have got an A in the final because acing the final is necessary for A in the class; there is no way around it.
so i did these questions and was wondering if they are right since it is and even problem there is no solution in the back to know if they are right. my answers are at the bottom.
let p,q, and r be the propositions
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.
write these propositions using p, q, and r and logical connectives.
a) you get an A in this class, but you do not do every exercise in this book.
b) you get an A on the final, you do every exercise in this book, and you get an A in this class
c) to get an A in this class, it is necessary for you to get an A on the final.
d) you get an A on the final, but you don't do every exercise in this book; nevertheless, you get an A in this class.
e) getting an A on the final and doing every exercise in this book is sufficient for getting an A in this class.
f) you will get an A in this class if and only if you either do every exercise in this book or you get an A on the final.
Hello, camboguy!
emakarov is absolutely correct!
"Necessary" and "sufficient" can be confusing concepts.
We must be very careful.
I'll create an example.
Suppose you always park your car in your uncovered driveway.
p: It rains.
q: Your car is wet.
Then "If it rains, then your car is wet" is true: .
. . Every time it rains your car gets wet.
There are two interpretations of this implication.
[1] is a sufficient condition for
. . .Knowing that it is raining, you know your car is wet.
. . .You see that it's raining, you don't have to look at your car.
[2] is a necessary condition for
. . .If it rains, your car must get wet.
. . .A wet car is the result of rain.
Back to your problem:
: You get an A on the final.
: You get an A in this class.
(c) To get an A in this class it necessary for you to get an A on the final.
This is the second interpretation . . . Therefore: .