Propositional and Predicate Calculus - Carleton University

51/77
Outline and Introduction
Propositional Calculus
Predicate Calculus
Inference Rules
Unification
Resolution Theorem Proving
Introduction
Some Definitions
Inference Rules
Example
Introduction
Inference Rule (IR)
Is a “mechanical” means
Can produce new predicate sentence from other sentences
Inference Rules: Classified as being Sound or Complete.
Sound Inference Rule:
Expression produced by the IR logically follows from S
Complete Inference Rule:
It has the ability to produce every expression that logically
follows from S