Compare Propositional And Predicate Logic