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

Algebra ->  Proofs -> SOLUTION: Given: a --> c Prove: b ~a --> b ~c      Log On


   

Question 654642: Given: a --> c Prove: b
~a --> b
~c
Answer by solver91311(24713) About Me  (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