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