1 What are the differences between propositional and first order logic?