Welcome to Introduction to Logic

You can navigate this site using the buttons to the left. Below is a summary of the site's contents. (Please note that these webpages are no longer maintained and appear here as an unsupported resource only).

Logic Home: Takes you back to this page.

Index: Lists most of the terms covered in the tutorials, and links each to relevant sections of the text.

Tutorials: A series of eight detailed tutorials introducing the main concepts and definitions of logic, including examples and exercises.

Exercises: A series of exercises and answers (also included in the tutorials) to accompany the tutorials.

Tableau Rules: Gives a summary of the tableau rules, and an explanation of what rules can be applied to a given formula.

Tableau Program: This program, written using Java, is designed to help you to do tableau (i.e. tree) proofs. Please follow the installation instructions if you have not used this program before.

Help and Contacts: This page provides assistance in navigating the site.

Philosophy Home: The Philosophy Department, University of Oxford, website.

Please send any feedback to logic@philosophy.ox.ac.uk