1.6. Rules of inference Notes | Discrete Structure BDS | TU | TABFlux