SOLUTION: Given: a --> c Prove: b ~a --> b ~c

Algebra.Com
Question 654642: Given: a --> c Prove: b
~a --> b
~c
Answer by solver91311(24713)   (Show Source): You can put this solution on YOUR website!

1.  a --> c  


2. ~a --> b


3. ~c        /b


4. ~a        1 & 3: modus tollens


5. ~a --> b  2: given


6.  b        4 & 5: QED

John

My calculator said it, I believe it, that settles it
The Out Campaign: Scarlet Letter of Atheism
RELATED QUESTIONS

Given: A->~B ~(C^~A) B ~C-> D Prove:D (answered by Solver92311)
a ^ ( b ^ c) prove... (answered by Fombitz)
Given AC=BD ._____.________________._____. Prove AB=CD A B (answered by ikleyn)
Given: ~C or D (~A or B) -> F ~B -> C ~F Prove:... (answered by Edwin McCravy)
Prove- If a+b=c, then... (answered by JoelSchwartz)
Given: A, B, C are collinear Prove: B is the midpoint of line... (answered by solver91311)
Given in a plane A is Perpendicular to B, B is Perpendicular to c and C || d Prove a... (answered by jim_thompson5910)
Given D implies B, Negation D implies P, A and B implies C, negation C, and A, prove... (answered by ikleyn)
if a,b ,c. are in HP. then prove that a/c =d-c/b... (answered by psbhowmick)