- Defn : If we prove in general that an inference rule applied to a set of premisses produces a formula that is a logical consequence of the premisses, then we say we have verified that the rule issound (modus ponens is a sound rule).
{}