Rules with exceptions
The rule of inference Modus non excipiens is truth-preserving with respect to the semantic constraints for rules with exceptions
Modus non excipiens
Premises:
There is a rule with antecedent P and consequent Q.
P.
There is no exception to the rule with antecedent P and consequent Q.
Conclusion: