Introduction: outline 2.25 2002/07/30 19:00:00 GMT-5 2004/08/06 13:43:56.640 GMT-5 Ian Barland ian@cs.rice.edu John Greiner greiner@cs.rice.edu Phokion Kolaitis kolaitis@cse.ucsc.edu Moshe Vardi vardi@cs.rice.edu Matthias Felleisen matthias@ccs.neu.edu Ian Barland ian@cs.rice.edu John Greiner greiner@cs.rice.edu The Base Logic module of the TeachLogic project covers propositional and first-order logic and reasoning with truth tables, equivalences, and inference rules. To view TeachLogic files via the Connexions system, you'll need to visit Connexions quick start guide, and download the following tools. MathML fonts Mozilla, a MathML enabled browser the Connexions roadmap tool The following outline is also available via the Connexions roadmap. Part I: Introduction The need for proofs Defining a Proof Part II: Propositional logic A formal vocabulary propositions formulas Reasoning with truth tables using truth tables the limitations of truth tables Reasoning with equivalences propositional equivalences normal forms soundness and completeness Reasoning with inference rules propositional inference rules using subproofs the soundness and completeness of inference rules proofs and programming conclusions Homework problems Propositional logic reference pages: Propositional logic WaterWorld domain axioms Propositional logic equivalences Propositional logic inference rules Part III: Relations [To be re-organized] Modeling WaterWorld WFFs for relational logic Properties of relations Interpretations Modeling, revisited Homework problems Part IV: Quantifiers (first-order logic) Expressing English concepts using quantifiers bound variables, free variables normal forms, revisited Reasoning with equivalences Reasoning with inference rules Homework problems Part V: Summary Additional material: Reference sheet: propositional equivalences (algebra) Reference sheet: propositional inference rules Reference sheet: first-order equivalences Reference sheet: first-order inference rules

The TeachLogic Project This Introduction to Logic is one unit of The TeachLogic Project, which works to emphasize logic as an underpinning of many aspects of computer science by creating ~2-week modules which integrate into existing standard CS courses, such as databases, concurrent programming, and software engineering. See the TeachLogic home page for the full mission statement. The TeachLogic Project is supported in large part by NSF grant EIA-0086264.