I have to determine whether or not the statement is valid. If yes, state the rule of inference.However, I have one small problem in this problem. Let me state the problem first.
I.) If I study hard, then I ace the quiz. I ace the quiz. Therefore, I study hard.
Let: p = I study hard q = I ace the quiz p -> q q ------- Therefore, p
It's very similar to Modus Ponus inference: Except that the last two lines are changed. p for q ; q for p
p -> q p ------- Therefore, q
There are no other inferences that are exactly similar to the format I've made. Does that mean that this is NOT valid? Or could this possibly be Modus Ponens despite the change.