Difference Between Predicates And Quantifiers In Discrete