Reasoning with the Propositional Calculus

4/24/00


Click here to start


Table of Contents

Reasoning with the Propositional Calculus

A Logical Syllogism

Another Syllogism

Terminology of the Propositional Calculus

Logical Connectives

Logically Complete Sets of Connectives

Syllogism

Proof by Perfect Induction

Proof by Wang’s Algorithm

Wang’s Method (Cont.)

Wang’s Method (Cont.)

Clause Form

Propositional Resolution

Proof Using Resolution

Reductio ad Absurdum

Author: Steven L. Tanimoto

Email: tanimoto@cs.washington.edu

Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html