SOLUTION: Prove: Q (1) [~(A•C)->Q]•Z (2) [~B v ~(A•C)]•D (3)`B->Q (4) (5) (6) Q

Algebra ->  Proofs -> SOLUTION: Prove: Q (1) [~(A•C)->Q]•Z (2) [~B v ~(A•C)]•D (3)`B->Q (4) (5) (6) Q      Log On


   

Question 674504: Prove: Q
(1) [~(A•C)->Q]•Z
(2) [~B v ~(A•C)]•D
(3)`B->Q
(4)
(5)
(6) Q
Answer by solver91311(24713) About Me  (Show Source):
You can put this solution on YOUR website!


Prove: Q

(1) [~(A•C)->Q]•Z       : Given
(2) [~B v ~(A•C)]•D     : Given
(3) ~B->Q               : Given
(4) [~(A•C)->Q]         : (1) Conjunction Elimination
(5) [~B v ~(A•C)]       : (2) Conjunction Elimination
(6) Q                   : (4),(5) Disjunction Elimination Q.E.D.

John

Egw to Beta kai to Sigma
My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism