1.1.3. Rule of inferences Notes | Discrete Structure BIT | TU | TABFlux