Page 1 of 1
In this question, you have to construct formal proofs using the natural deduction rules. The Fitch system makes use of t
Posted: Sun Jul 10, 2022 11:12 am
by answerhappygod
- 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 66 times
- In This Question You Have To Construct Formal Proofs Using The Natural Deduction Rules The Fitch System Makes Use Of T 2 (6.42 KiB) Viewed 66 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.1 Using the natural deduction rules, give a formal proof of 3x (Large(x) LeftOf(x, b)) from the premises x (Cube(x) → Large(x)) vy (Large(y) → LeftOf(y, b)) 3x Cube(x)