释义 |
transformation rule noun : a principle in logic establishing the conditions under which one statement can be derived or validly deduced from one or more other statements especially in a formalized language — called also rule of deduction; compare modus ponens, modus tollens |