Predicates And Quantifiers In Discrete Maths