SOLUTION: What is the Formal Proof for P v (Q ^ R)?

SOLUTION: What is the Formal Proof for P v (Q ^ R)?

Algebra.Com

Question 665002: What is the Formal Proof for
P v (Q ^ R)?
Answer by lynnlo(4176) (Show Source): You can put this solution on YOUR website!
p->qvr(-p->q)v(p->r)
RELATED QUESTIONS
Construct a formal proof for the following argument 1. P>R 2. (Q&P)vP... (answered by Edwin McCravy)

find the proof of the following: P & Q, P -> R |- R & Q (P v Q) -> R |- ~R->... (answered by Edwin McCravy)

What would the completed formal proof be? 1. M * (L v P) 2. ~M v ~L :. M * P 3.... (answered by Edwin McCravy)

construct a formal proof of validity for the following argument. 1. (M ⊃ N)... (answered by Edwin McCravy)

Is this a valid argument, what is the solution. (p→q)→r ~p V q ________ (answered by Edwin McCravy)

Are these the correct steps to construct formal proof for the following valid... (answered by Edwin McCravy)

What is the proof for ((P→Q)→Q)→(P∨Q) (answered by drk)

Present a formal proof in logic, using the laws of inference to reace the conclusion.... (answered by EMStelley)

I have 3 questions on my exercise that really have me stumped. Here are the directions... (answered by jim_thompson5910)