複数辞典一括検索+

3a 【論理・数学】 代入, 置換; 代入の結果得られた表現[式] 《substitution instance ともいう》.🔗🔉

3a 【論理・数学】 代入, 置換; 代入の結果得られた表現[式] 《substitution instance ともいう》.

研究社新英和大辞典 ページ 226034 での論理・数学単語。