1.4. Predicate logic and quantification, informal deduction in predicate logic Notes | Discrete Structure BEI-NEW | TU | TABFlux