Propositional And Predicate Logic Ugc Net