PREDICATE LOGIC and QUANTIFIER NEGATION - DISCRETE MATHEMATICS