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