1.1.4. Valid Arguments Notes | Discrete Structure BIT | TU | TABFlux