# Question: for propositional calculus i have a hw assignment out of...

###### Question details

For propositional calculus, I have a HW assignment out of the textbook Applied Discrete Structures by Alan Doerr and Kenneth Levasseur. I'm having a hard time figuring which statements should be propositions and what arguments imply which.

Here's the problem is question:

So far this is what I have (but I'm not sure if it's correct):

Let *a* be the proposition, "Students do well in a
discrete mathematics course."

Let *b* be the proposition, "It is necessary to study
hard."

Let *c* be the proposition, "Students do not skip
class."

Let *d* be the proposition, "Students who study
hard."

So that would make my arguments:

a -> b

c

d

=> a -> c

Is this correct?

Thank you!