Propositional Logic And Predicate Logic