Overview

• Logic Background (A.pdf, B.pdf, C.pdf)
• Logic in Prolog (A.pdf)
• Satisfiability and Validity
• First-Order Logic
• Resolution Theorem Proving

- Propositional Logic

- First-Order Logic

Propositional Logic

• Propositional Logic (A.pdf, B.pdf)
• Syntax (A.pdf)
• Semantics (A.pdf)
• Implication (A.pdf)
• Arguments (A.pdf, B.pdf)
• Resolution (A.pdf)

First-Order Logic

• First Order Logic (A.pdf, B.pdf)
• Syntax (A.pdf)
• Semantics (A.pdf)
• Implication (A.pdf)
• Arguments (A.pdf)
• Resolution (A.pdf)

• MIT OCW
• David Poole's book site