next up previous contents
Next: First Order Predicate Up: Propositional Calculus Previous: Propositional Calculus

A Problem

If p stands for ``all dogs are smelly'' and p is true then we would like to be able to prove that ``my dog fido is smelly''.

We need to be able to get at the structure and meaning of statements. This is where (first ordergif) predicate logic is useful.

Paul Brna
Mon May 24 20:14:48 BST 1999