In This Question You Have To Construct Formal Proofs Using The Natural Deduction Rules The Fitch System Makes Use Of T 1 (16.42 KiB) Viewed 58 times
In This Question You Have To Construct Formal Proofs Using The Natural Deduction Rules The Fitch System Makes Use Of T 2 (5.98 KiB) Viewed 58 times
In this question, you have to construct formal proofs using the natural deduction rules. The Fitch system makes use of these rules. A summary of the rules of natural deduction is given on pages 573 to 578 of your textbook. Consult this when you do this question. Remember that De Morgan's laws and other tautologies are not permissible natural deduction rules. You are also not allowed to use Taut Con, Ana Con or FO Con. It is important to number your statements, to indicate subproofs and at each step to give the rule that you are using. Hint: If you have access to a computer, take advantage of the fact and use Fitch. Question 6.3 Using the natural deduction rules, give a formal proof of: 3x3y -SameSize(y,x) from premises. 3x 3y Adjoins(x, y) vxvy (Adjoins (x, y) → ¬SameSize(x, y)
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!