Strengthening the Antecedent: From B implies C, infer (A ^^ B) implies C How can I construct a Fitch style proof to prove this? I have tried 1.B -> C 2. A ^^ B 3. B ^^ Elim: 4. C -> Elim: 1,3 5. (A ^^ B) -> C -> Intro: 2−4

Salvador Whitehead

Salvador Whitehead

Answered question

2022-11-27

Strengthening the Antecedent: From B implies C, infer ( A B ) implies C
How can I construct a Fitch style proof to prove this? I have tried
1. B C
2. A B
3. B E l i m : 2
4. C E l i m : 1 , 3
5. ( A B ) C I n t r o : 2 4

Answer & Explanation

Kenyon Valencia

Kenyon Valencia

Beginner2022-11-28Added 11 answers

You may want to indicate what kind of Elim and Intro you do:
Line 3 is an Elim
Line4 is an Elim
line 5 is an Intro
Otherwise perfect!
Leonard Dyer

Leonard Dyer

Beginner2022-11-29Added 3 answers

So far, so good. You have only one more line to add to complete your proof: ( B C ) ( ( A B ) C )

Do you have a similar question?

Recalculate according to your conditions!

New Questions in High school geometry

Ask your question.
Get an expert answer.

Let our experts help you. Answer in as fast as 15 minutes.

Didn't find what you were looking for?