1.4. Predicates and quantifiers Notes | Discrete Structure BDS | TU | TABFlux