Please help me solve this proof, the third line is the conclusion.
1. P -> (Q -> R) 2. R -> (Q -> ~P) ~P v ~Q?
1. P -> (~Q V R).....~PV (~QVR)..... (~PV~Q )V R..... ~(P^Q)VR......(P^Q)->R
2 R -> (~Q V ~P).....R-> ~(P^Q)
Conclusion ~PV~Q....~(P^Q) is a valid argument
Content will be erased after question is completed.
Enter the email address associated with your account, and we will email you a link to reset your password.
Forgot your password?