1. Math
  2. Advanced Math
  3. for propositional calculus i have a hw assignment out of...

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:

6. Determine the validity of the following argument: For students to do well in a discrete mathematics course, it is necessary that they study hard. Students who do well in courses do not skip classes. Students who study hard do well in courses. Therefore students who do well in a discrete mathematics course do not skip class.

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!

Solution by an expert tutor
Blurred Solution
This question has been solved
Subscribe to see this solution