Question: for propositional calculus i have a hw assignment out of...
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
=> a -> c
Is this correct?