Question

Look at the argument below. Which of the following symbolic statements shows the set-up used to find the validity of the argument?

If Mario studies hard, then he gets good grades.
Mario got good grades.
Therefore, Mario studied hard.

p: Mario studies hard.
q: Mario gets good grades.

A.[(p → q) ∧ ~q]
∴ p
B.[(p → q) → q]
∴ p
C. [(p → q) ∧ q]
∴ q
D. [(p → q) ∧ q]
∴ p

Answer 1

Well you're using an implication when you say IF Mario studies hard THEN he gets good grades.

So IF p THEN q

He got good grades

q

Therefore he studied hard

p

Answer 2

so in that case would D be correct?

Answer 3

Yes :)

Answer 4

ok cool! thanks again