Question

Please complete the following formal proof and upload the result. You may not use any of the Con rules.

Blocks Pets Set Arith Tet Small Leftof SameCol Smaller Cube Medium Rightof SameRow Larger Dodec Large Frontof Between Likes SameShape SameSize Backof Adjoins Happy O-AVB Av (CAD) O-BALE Goals F (CAD) VE

Answer 1

Premises ? 7 AvB AV (CAD) BATE : (CAD) VE - Conclusion egn (1) can also be written as TAVB AB - (4) applying rule of simplification on ean (3), using Modus on egn (4) and (5), Tollens AB 7B . TA -(7) using on (2) and (7), Disjunctive Syllogism ПА AV (CAD) . (CAD) - (8) applying, addition on equation (8), (CAD) . (CAD) VE [Conclusion] Hence, we derived our conclusion from given using rules of inference premises

I HOPE YOU WILL GET IT..........YOUR RESPONSE WILL BE HIGHLY APPRECIATED