SOLUTION: looking for help on why the argument is or is not valid on these two. Can anyone help me out...thanks in advance. Validity of each argument For the first problem I began with

Question 1061923: looking for help on why the argument is or is not valid on these two. Can anyone help me out...thanks in advance. Validity of each argument
For the first problem I began with ( p U q) u r
P'U Q
________
R

( p v q ) → r
~ p → q
______________
r
( p → q) →r
~p v q
_______________
r V q

Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

For the first one, Material Implication says that p V q is equivalent to ~p -> q. So you can simply replace one expression with the other and then the conclusion is true by Modus Ponens.

The second one is true for the same reason. p -> q is equivalent to ~p V q, again by Material Implication.

See: Material Implication

John

My calculator said it, I believe it, that settles it

RELATED QUESTIONS
Hello, Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)

This question is about disjunctive argument. Please help. Identify whether the... (answered by solver91311)

Hello Can someone please help me with the following Translate the argument into... (answered by drk,richwmiller)

Hello Someone told me to put this in the logic topic. So here it is again.Can... (answered by stanbon)

Hello, Can someone please help me with this problem. I think the answer is its a... (answered by richwmiller)

I have been on these proofs for days and I can't seem to figure my homework out. Thank... (answered by jim_thompson5910)

NOT EVEN MY MATH TUTOR COULD HELP ME PLZ ANYONE! he just gave me the answer and logged... (answered by Theo)

I am not the brightest crayon in the box when it comes to algebra, but this stuff is... (answered by user_dude2008,Mathtut)

Is this argument valid or invalid? Can you help me construct a truth table? Thank you for (answered by jim_thompson5910)