SOLUTION: I'm having a really hard time with the following proof: A&B, AvC :. (A->B) & (C->A) My prof has warned us that the second premise, AvC, is a distraction, but I don't really u

Algebra.Com
Question 996678: I'm having a really hard time with the following proof:
A&B, AvC :. (A->B) & (C->A)
My prof has warned us that the second premise, AvC, is a distraction, but I don't really understand how to do this then.
Found 2 solutions by Edwin McCravy, AnlytcPhil:
Answer by Edwin McCravy(20055)   (Show Source): You can put this solution on YOUR website!
1. A&B 
2. AvC  
              :. (A->B) & (C->A)

Your prof is wrong.  This argument is not valid.

Here is the counter-example:

Suppose that A is false, B is true, and C is false.

Then A&B is false, AvC is false, therefore the
conjunction of the premises (A&B)&(AvC) is false.

Now let's look at the conclusion:

A->B is true, C->A is true, therefore (A->B) & (C->A) is true.

So this is a case where the conjunction of premises is false
and the conclusion is true.

So the argument is invalid.  Be sure to tell your prof why.

Edwin
Answer by AnlytcPhil(1806)   (Show Source): You can put this solution on YOUR website!
1. A&B 
2. AvC  
              :. (A->B) & (C->A)

Your prof is wrong.  This argument is not valid.

Here is the counter-example:

Suppose that A is false, B is true, and C is false.

Then A&B is false, AvC is false, therefore the
conjunction of the premises (A&B)&(AvC) is false.

Now let's look at the conclusion:

A->B is true, C->A is true, therefore (A->B) & (C->A) is true.

So this is a case where the conjunction of premises is false
and the conclusion is true.

So the argument is invalid.  Be sure to tell your prof why.

Edwin
RELATED QUESTIONS

Derive the conclusion from the given premise in the argument below by utilizing... (answered by jim_thompson5910)
Proof by Natural Deduction – Propositional Logic. Use a direct proof to show that the... (answered by robertb)
Give a proof of the following argument: 1 (1) A --> (B & ~K) Premise 2 (2) (B (answered by jim_thompson5910)
Hello, I would need your help with the following proof: Let a, b, c be different prime (answered by KMST)
Construct a formal proof in fitch format for the following: 1. Premise: A->B... (answered by solver91311)
I am having a hard time with my Geomarty homework I would really like if i were to get... (answered by jim_thompson5910)
I am having a really hard time simplifying the following expression: a(b-c)=a/b and solve (answered by Alan3354)
I'm having a hard time constructing a proof for the following argument. M&~Q M->S... (answered by richard1234,Edwin McCravy)
I am having a very hard time with Algebra and this really has my mind boggled...please... (answered by ankor@dixie-net.com)