1.2.3. Proof of quantified statements Verbal Notes | Discrete Structure BIT | TU | TABFlux