The rule is valid with respect to the semantics of classical logic ( as well as the semantics of many other non-classical logics ) , in the sense that if the premises are true ( under an interpretation ) , then so is the conclusion .
The rule is valid with respect to the semantics of classical logic , in the sense that if the premises are true , then so is the conclusion .