Deduction

Given the rule and a cause, deduce the effect. (This is [[lesson-12_logic|modus ponens]]❌)

• rule: if it’s cloudy, it rains.
• given cause: it’s cloudy.
• Deduced effect: it will rain.

Truth-preserving

If the rule is true and the cause is true, we can always guarantee that the effect is true as well.