nference rle n. 【論理】 推論[推理]規則 《公理体系で定理等を導出する変形規則またはその一部; 通例肯定式をいう; cf. modus ponens, transformation rule》. 1962