The Gateway to Computer Science Excellence
+2 votes
475 views

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. 

How can I 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 excercise in this book. 

b.) You get an A on the final, you do every excercise 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 excercise in this book; nevertheless, you get an A in this class. 

e.) Getting an A on the final and doing every excersise 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 excercise in this book or you get an A on the final.

in Mathematical Logic by Junior (655 points)
recategorized by | 475 views
+2
thank you :)

1 Answer

+1 vote

a.) You get an A in this class, but you do not do every exercise in this book.

 r ∧ ~q


b.) You get an A on the final, you do every exercise in this book, and you get an A in this class.

p ∧ q ∧ r


c.) To get an A in this class, it is necessary for you to get an A on the final.

r $\rightarrow$ p


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.

p ∧ ~ q ∧ r 


e.) Getting an A on the final and doing every exercise in this book is sufficient for getting an A in this class.

( p ∧ q ) $\rightarrow$ r


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.

r ↔ ( q ∨ p )

by Boss (41.2k points)
edited by
0
I did not get c option  rest is fine .
0
what you didn't get?
+2
the staement in the C is a little clever representation.. In simple way,if you get A in the Final then only it is possible to get A in the class,

So A in final implies A in class
+4
No. Option C is r implies p. That is if you get an A in the class it implies you have got an A in final. But you can get an A in final and still not get an A in class as the given condition is necessary but not sufficient.
Quick search syntax
tags tag:apple
author user:martin
title title:apple
content content:apple
exclude -tag:apple
force match +apple
views views:100
score score:10
answers answers:2
is accepted isaccepted:true
is closed isclosed:true
50,741 questions
57,235 answers
197,995 comments
104,580 users