First-Order Logic Chapter 8. Problem of Propositional Logic Propositional logic has very limited expressive power –E.g., cannot say "pits cause breezes.
First-Order Logic