Propositional Logic And Predicate Logic In Ai