SOLUTION: I am trying to solve this proof: premises: A or B, A or C goal: A or (B and C) I know that I need to use subproofs to solve this, but I don't know how far I need to break d

Question 1026781: I am trying to solve this proof:
premises: A or B, A or C
goal: A or (B and C)
I know that I need to use subproofs to solve this, but I don't know how far I need to break down each premise with a subproof to solve this.

Found 2 solutions by richard1234, robertb:
Answer by richard1234(7193) (Show Source): You can put this solution on YOUR website!
Do casework based on whether A is true or not.

Case 1: A is true. Then the premise is already satisfied, and so is the goal.

Case 2: A is false. Since (A or B) is true, and (A or C) is true, it follows for the premise to hold, B must be true, and C must be true. Then (B and C) follows.
Answer by robertb(5830) (Show Source): You can put this solution on YOUR website!
The statement is true by mathematical logic.
The premise is symbolized by (A∨B)∧(A∨C), and by the distributive property is equivalent to A∨(B∧C).
No need for long proofs or subproofs.
RELATED QUESTIONS
I am using the fitch program and trying to solve this proof: 1. A V B 2. A V C... (answered by Edwin McCravy)
1. A v B 2. A ≡ (C & D) 3. B ⊃ (D & G)/D I am trying to solve this equation. i... (answered by math_helper)
A v (B -> A) ~A . C / ~B I am trying to solve this proof and i never get it right (answered by )
I am trying to solve for A when I know B and... (answered by Fombitz)
I need help solving this proof, please help! Premises: 1. A ⊃ (B⊃C) 2. A & (answered by Edwin McCravy)
I do not even know where to start with this proof. Prove or disprove: let a, b, and c... (answered by ikleyn)
I need a Formal Logical Proof for the following (I know it is valid): (P1)... (answered by jim_thompson5910)
I'm in need of some help. I have been trying to figure out this question for days but I... (answered by Alan3354)
I need to solve a proof for triangle ABC and DEC trying to prove C is the midpoint of AD. (answered by AnlytcPhil)