SOLUTION: (∼∼A&C) ∴ (A∨∼∼C) What is the proofs for this argument?

Algebra.Com
Question 1004823: (∼∼A&C) ∴ (A∨∼∼C)
What is the proofs for this argument?
Answer by Edwin McCravy(20054)   (Show Source): You can put this solution on YOUR website!
1. (∼∼A&C) ∴ (A∨∼∼C)

2. (A&C)        1, Double negation
3. (A)          2, Simplification
4. (A∨∼∼C)     3, Addition

Edwin
RELATED QUESTIONS

∼(∼p ∨ ∼q) construct a truth table for this... (answered by solver91311)
Construct a truth table for the statement. ∼(∼p ∨ ∼q) (answered by MathLover1)
INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)
Give reasons for the steps, given premises 1, 2 and 3:

1.  X ⊃ (Y ⊃  (answered by Edwin McCravy)

Construct a truth table for the statement. Please show me how you came up with this... (answered by solver91311)

construct a truth table for the statement.
 ∼ (∼p ∧ ∼q)
 (answered by )

please help me slove this question .


Construct a truth table for each compound... (answered by vleith)

This is what I came up with is it correct? 
, construct a truth table for the statement.
 (answered by sudhanshu_kmr)

write a direct proof using the eight rules of inference 

(C → Q) • (~L →... (answered by Edwin McCravy)