找到约 1 条结果（用时 0.03 秒）
词速通 - 汉语词语词典 › 词语 › 代入
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。 — 拼音 dài rù，更新 2026-07-12 08:30:07