Symbolic Logic

© 2000, 2006 by Dona Warren

(Anyone is welcome to use this material as long as they let me know that they’re doing so and acknowledge this site and my authorship.)

Introduction

n Introduction to Symbolic Logic 1

n Introduction to Symbolic Logic 2

Propositional Logic

n Conditionals

n Conjunctions

n Conditionals Again

n Negations

n Disjunctions

n Inference Rules

n Rules of Thumb

Predicate Logic

n Predicate Logic

n Inference Rules