Reasoning with the Propositional Calculus
A Logical Syllogism
Another Syllogism
Terminology of the Propositional Calculus
Logical Connectives
Logical Connectives (Cont)
Logically Complete Sets of Connectives
Syllogism
Proof by Perfect Induction
Proof by Wang’s Algorithm
Wang’s Method (Cont.)
Clause Form
Propositional Resolution
Proof Using Resolution
Reductio ad Absurdum
Email: tanimoto@cs.washington.edu
Home Page: http://www.cs.washington.edu/people/faculty/tanimoto.html
Download presentation source