4. The transitivity of logical implication - If A implie…

metamitya ·

4. The transitivity of logical implication
- If A implies B, and B implies C, then A implies C
- This allows us to chain logical inferences together