Logic 1

Past exam papers

Past exam papers for Logic 1 are available in the Univeristy of Edinburgh library past exam papers archive. However, there are a number of changes to the course in 2005/06 that you should be aware of when looking at these papers. Perhaps the most important change is that natural deduction/derivation is no longer part of the course, so if you see a question asking you to do a derivation, use a semantic tableau instead. In the past exam papers, you will also see the ampersand ("&") used as the symbol for conjunction instead of the wedge ("∧"), and the use of the phrase "truth trees" instead of "semantic tableaux". Other than that, if you come across terminology in past exam papers that confuses you, please email me.

Links to past exam papers for the past few years can be found below (to access them from a computer not connected to the university network, you'll need to use the Univerity of Edinburgh Proxy Cache Service):

2005: [Degree Examination]

2004: [Degree Examination] [Resit Examination]

2003: [Degree Examination] [Resit Examination]

2002: [Degree Examination] [Resit Examination]

2001: [Degree Examination] [Resit Examination]

2000: [Degree Examination]