Introduction to Artificial Intelligence
Worksheets and Information on Logic

1. Logic Table
2. Representing First Order Logic
3. Introduction to Predicate Calculus
4. Predicate Calculus Recurring Expressions
5. Predicate Calculus Example
6. Wang's algorithm