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.