SOLUTION: Construct a proof for the following: 1. ~C 2. (~A * B) v (~A * C). .·. B

Question 1171296: Construct a proof for the following:
1. ~C
2. (~A * B) v (~A * C). .·. B
Answer by Edwin McCravy(20054) (Show Source): You can put this solution on YOUR website!


1. ~C
2. (~A * B) v (~A * C).        .·. B

3. ~A * (B v C)            2, Distribution
4. (B v C) * ~A            3, Commutation
5. B v C                   4, Simplification
6. C v B                   5, Commutation
7. B                       6,1 Disjunctive Syllogism

Edwin

RELATED QUESTIONS
How do you construct a formal proof for the following argument: A ^ (B v C) to conclude... (answered by Adam)

Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)

Two step proof: 1. A * B / A v C (answered by Edwin McCravy)

Construct a direct proof of validity for the following argument. Restriction: DO NOT... (answered by Edwin McCravy)

Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)

Create a proof for the following argument. 1.~D 2.B ⊃ (C ⊃ D) /~(B •... (answered by math_tutor2020)

Write a formal proof of validity for the given arguments A) 1. (R>S) 2. V v~S 3.... (answered by jim_thompson5910)

Formal proof: In the text box below, use the proof method (M9) to construct a formal... (answered by Edwin McCravy)

I need help finishing this proof. 1. (A v B) v C 2. ~B & ~ E 3. (A v C) > (E &... (answered by jim_thompson5910)