SOLUTION: Construct a formal proof in fitch format for the following: 1. Premise: A->B Conclusion: A->(BvC) 2. No premise Conclusion: P->(Q->P) 3.Premise: P<->~P Conclusi

Question 802791: Construct a formal proof in fitch format for the following:
1. Premise: A->B
Conclusion: A->(BvC)
2. No premise
Conclusion: P->(Q->P)
3.Premise: P<->~P
Conclusion: ⊥
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

For the first one you can use (B V C) -> B by Simplification.

John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it

The Out Campaign: Scarlet Letter of Atheism

RELATED QUESTIONS
Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B (answered by jim_thompson5910)

Construct a formal proof for the following argument 1. P>R 2. (Q&P)vP... (answered by Edwin McCravy)

Proof by Natural Deduction � Propositional Logic. Use a direct proof to show that the... (answered by robertb)

Can you please assist me with these problems? We are using the Rules of Inference and the (answered by jim_thompson5910)

Premise: (A & B) v C Conclusion: C v... (answered by jim_thompson5910)

Please help! I can't for the life of me figure this one out! Proof by natural... (answered by MathLover1)

Using Inference Rules Premise 1. (P * Q) > R Premise 2. (P * Q) V S Premise 3. ~ R (answered by Edwin McCravy)

how can you prove the conclusion A v ~~B from the premise A v B? (answered by Fombitz)

I know it's a lot, but I've got no where else to go. Please. > is an if/then symbol (answered by richwmiller)