複数辞典一括検索+

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

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

研究社新英和大辞典 ページ 197999 での論理単語。