Question

Give a formal proof for the following tautology by using the CP rule. (B →C) ^...

Give a formal proof for the following tautology by using the CP rule.

(B →C) ^ A ^ B →A ^ C

0 0
Add a comment Improve this question Transcribed image text
Answer #1

Solution for the problem is provided below, please comment if any doubts:

Prove using conditional proof (CP) rules is following the procedure From A, derive B, then A→B.

Here A=> (B →C) ^ A ^ B

And B => A ^ C

So from A we need to derive B to prove the tautology

  1. (B →C)                    :Given premise(P)
  2. A                              : Given premise(P)
  3. B                              : Given premise(P)
  4. C                              :1, 3, Modus Ponens (MP), (B →C), B=>C
  5. A^C                          :2, 4, Conjunction

QED                            :1-5 CP

Hence prove the tautology using CP rule

Add a comment
Know the answer?
Add Answer to:
Give a formal proof for the following tautology by using the CP rule. (B →C) ^...
Your Answer:

Post as a guest

Your Name:

What's your source?

Earn Coins

Coins can be redeemed for fabulous gifts.

Not the answer you're looking for? Ask your own homework help question. Our experts will answer your question WITHIN MINUTES for Free.
Similar Homework Help Questions
ADVERTISEMENT
Free Homework Help App
Download From Google Play
Scan Your Homework
to Get Instant Free Answers
Need Online Homework Help?
Ask a Question
Get Answers For Free
Most questions answered within 3 hours.
ADVERTISEMENT
ADVERTISEMENT
ADVERTISEMENT