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 order)
predicate logic is useful.