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