SOLUTION: 1. A→B 2. A→~(C∨B) ∴ ~A 1. (A&~B)&(~C∨D) 2. ~((D&A)&~B) ∴ ~C

Algebra.Com
Question 935456: 1. A→B
2. A→~(C∨B) ∴ ~A
1. (A&~B)&(~C∨D)
2. ~((D&A)&~B) ∴ ~C
Answer by Edwin McCravy(20056)   (Show Source): You can put this solution on YOUR website!
1.	A→B
2.	A→~(C∨B) ∴ ~A 

3.      A→(~C&~B)      2, DeMorgan's theorem
4.      A→~B           3, Decomposition (simplification) of a conjunction
5.      ~B→~A          1, Modus Tollens
6.      ~~B→~A         4, Modus Tollens
7.      B→~A          7, Double negation
8.      B∨~B          Tautology (law of excluded middle)
9.       ~A             7,5,8, disjunctive elimination (disjunctive syllogism)      

 

1.	(A&~B)&(~C∨D)
2.	~[(D&A)&~B] ∴ ~C

3.      ~[D&(A&~B)]      2,Association
4.      ~D∨~(A&~B)        3,DeMorgan's theorem 
5.      A&~B             1,Decomposition (simplification) of a conjunction  
6.      ~D               4,5, disjunctive elimination (disjunctive syllogism) 
7.      ~C∨D             1,Decomposition (simplification) of a conjunction
8.      ~C               7,6, disjunctive elimination (disjunctive syllogism) 

Edwin
RELATED QUESTIONS

Prove This: 1. B∨~C 2. B→E 3. ~~C... (answered by jim_thompson5910)
Can you please help me solve this proof? I am stuck at line six. 1. (A → E)... (answered by jim_thompson5910)
1. (A∨~B)→(F∨(R∙G)) 2. A 3. F→L (answered by math_helper)
I need to help on the following proofs Proof 1 B ∧ F ¬(B ∧ G)... (answered by Edwin McCravy)
1. (A∨G)→K 2. K→(B→F) (answered by solver91311)
Given: (~ p → q) ∨ ~ p This statement is a: A. Biconditional statement B.... (answered by jim_thompson5910)
1. (E∨F)→~G 2. ~H 3. H∨K 4. (K∨L)→E ∴... (answered by jim_thompson5910)
Assume that the following 4 logical propositions are all true : 1. (A → B) ∧ (answered by jim_thompson5910)
write a direct proof using the eight rules of inference (C → Q) • (~L →... (answered by Edwin McCravy)