Introduction: outline
Summary: 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
- Part I: Introduction
- Part II: Propositional logic
Propositional logic reference pages:
- A formal vocabulary
- Reasoning with truth tables
- Reasoning with equivalences
- Reasoning with inference rules
- Homework problems
- Part III: Relations [To be re-organized]
- Part IV: Quantifiers (first-order logic)
- Part V:
- 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.
Comments, questions, feedback, criticisms?
Send feedback
- E-mail the authors of the module, Introduction: outline
Footer
More about this content: Metadata | Version History
This work is licensed by Ian Barland, John Greiner, Phokion Kolaitis, Moshe Vardi, and Matthias Felleisen under a Creative Commons Attribution License (CC-BY 1.0).
Last edited by Ian Barland on Mar 10, 2005 3:25 pm US/Central.