SOLUTION: Prove the argument: A->D D->E A or B B->C ~C Therefore, C

SOLUTION: Prove the argument: A->D D->E A or B B->C ~C Therefore, C

Algebra.Com

Question 796919: Prove the argument:
A->D
D->E
A or B
B->C
~C
Therefore, C
Answer by solver91311(24713) (Show Source): You can put this solution on YOUR website!

Can't be done. You are given

, so it cannot be the case that C is true. I suspect you actually meant to type something else as a desired conclusion. E, perhaps?

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
Prove the argument valid. Where = stands for a bi-conditional. ~(A & B) = ~C (D v E)... (answered by jim_thompson5910)

Construct a formal proof of validity for the following argument ~B v [(C⊃D) ·... (answered by math_helper)

~(A or B) or ~(C or D) (E or F) -> D therefore A->... (answered by jim_thompson5910)

Is the following argument valid or invalid? (P) A ⊃ (B • C) (P) (B v D) ⊃ E... (answered by math_helper)

1. A > [B>(C*~D)] 2. (BvE)>(DvE) Therefore, 3. (A*B) > (C*E) Using conditional... (answered by jim_thompson5910)

A -> (B & C) C -> (E -> I) ~(D -> I) / therefore, (A & G) -> (~I &... (answered by Edwin McCravy)

Given: A->~B ~(C^~A) B ~C-> D Prove:D (answered by Solver92311)

Given: ~C or D (~A or B) -> F ~B -> C ~F Prove:... (answered by Edwin McCravy)

Good morning sir's and ma'ams..Kindly help me answer the following: Construct a formal... (answered by robertb)