Predicate And Propositional Logic In Ai