Strict rules
The rule of inference Modus ponens is truth-preserving with respect to the semantic constraints for strict rules
Modus ponens
Premises:
There is a rule with antecedent P and consequent Q.
P.
Conclusion:
Q.
Previous slide
Next slide
Back to first slide
View graphic version