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

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) (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

RELATED QUESTIONS
1. D 2. ~C 3. (A v B) -> C 4. [(~A � D) � ~B] -> (P -> Q) :. ~P v... (answered by jim_thompson5910)

Hi there, I'd love some help on answering these Logic Proof Questions: 1. 1. T > O (answered by math_tutor2020)

INSTRUCTIONS: Select the conclusion that follows in a single step from the given... (answered by jim_thompson5910)

I have bee having trouble solving these problems and been at it for hours I need help.... (answered by solver91311)

What are the domain restrictions of q^2+3q-4/q^2-7q-8 A. q "not equal to" 1 and q q... (answered by MathLover1)

The function p(q) = q^2 - 7 and f(s) = 9. If 2f(s) = p(q), what is the value of q? (A) (answered by rfadrogane)

If p,q,r are any real numbers,then a)max(p,q) < max(p,q,r) b)min(p,q)=1/2((p+q)-(p-q)) (answered by tommyt3rd)

If |p| - 4 = |q| , which of the following could be the values of p and q? a) p = 2 and (answered by Edwin McCravy)

5+3(q-4)=2(q+1) (answered by Alan3354)