代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
欢迎使用翰思网词语词典！我们致力于为您提供最准确的汉语词语解释、成语故事、近义词反义词对比及组词参考。专业团队维护，数据持续扩充，助您畅游中文世界。