cs245-w05-nday-midterm-exam-soln

# cs245-w05-nday-midterm-exam-soln - University of Waterloo...

This preview shows pages 1–3. Sign up to view the full content.

University of Waterloo Midterm Examination SOLUTION SET Term: Winter Year: 2005 Student Name UW Student ID Number Course Abbreviation and Number CS 245 Course Title Logic and Computation Sections SE112 - 001 and CS245 - 001, 002, 003 Instructor Shalini Aggarwal, Nancy Day Date of Exam Thursday, February 10, 2005 Time Period Start time: 4:30 p.m. End time: 6:30 p.m. Duration of Exam 2 hours Number of Exam Pages 12 pages (including this cover sheet) Exam Type Closed book Additional Materials Allowed NO ADDITIONAL MATERIALS ALLOWED Write your name and student number at the bottom of every page. Write all solutions on the exam. The booklets are for scratch work. There are blank truth tables on the last page for use with any question. Good luck everyone! Question Mark Max Marker Question Mark Max Marker 1 5 7 9 2 5 8 6 3 7 9 9 4 12 10 14 5 9 11 11 6 13 Total 100 Name UW Student ID (page 1 of 12)

This preview has intentionally blurred sections. Sign up to view the full version.

View Full Document
1 (5 Marks) Short Answer 1. Can transformational proof be used to show an argument in propositional logic is valid? If so, what do you prove in transformational proof about an argument of the form p q where p and q may be compound formulas? If not, explain why. Yes, transformational proof can be used to show an argument is valid. You would prove p q ⇚⇛ true . 2. If ¬ a is a contingent formula in propositional logic, which of the following describes a ? satisfiable, contingent 3. What is the name of the argument forms identified by Aristotle? Syllogisms 4. What is the problem with using a proof procedure that is not sound? If a proof procedure is not sound then it might be possible to prove an argument is valid when it is not. 5. What must be true about a set of propositional logic formulas in order to be able to use natural deduction to prove the set is consistent? We can use natural deduction to show a set of formulas is consistent if and only if the con- junction of the formulas is a tautology.
This is the end of the preview. Sign up to access the rest of the document.

{[ snackBarMessage ]}

### What students are saying

• As a current student on this bumpy collegiate pathway, I stumbled upon Course Hero, where I can find study resources for nearly all my courses, get online help from tutors 24/7, and even share my old projects, papers, and lecture notes with other students.

Kiran Temple University Fox School of Business ‘17, Course Hero Intern

• I cannot even describe how much Course Hero helped me this summer. It’s truly become something I can always rely on and help me. In the end, I was not only able to survive summer classes, but I was able to thrive thanks to Course Hero.

Dana University of Pennsylvania ‘17, Course Hero Intern

• The ability to access any university’s resources through Course Hero proved invaluable in my case. I was behind on Tulane coursework and actually used UCLA’s materials to help me move forward and get everything together on time.

Jill Tulane University ‘16, Course Hero Intern