代入
概述
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
2 扩展释义
代入是谓词演算的基本运算之一。代入的一个重要特征是，代入必须是处处代入，即用一个项 t 代入一个自由变元 x ，必须用 t 代替 x 在公式中所有的自由出现。
9 词语组词
相关词条
本词条最后更新于 2026-07-13 21:24:54
友情链接
抓书网
短词网
书号查询
星云网
百家号是什么意思？
1～2年级小学生入队申请书是什么意思？
南昌天气预报30天是什么意思？
链接直达是什么意思？
在线图像尺寸缩小工具是什么意思？
许爽 xǔ shuǎng是什么意思？
14画是什么意思？
采购年终述职报告(锦集十三篇)是什么意思？
查看新疆天气-周末天气 查看新疆天气 新疆是什么意思？
穿插是什么意思？
固体辐射化学是什么意思？
卡里布是什么意思？专家解读 权威解读「卡里布」的含义、读音与用法，一文读懂词语内涵。 kǎ lǐ bù 2026-06-30 15:42:14
郑州天气预报30天是什么意思？
饭桌上常见白酒红酒是什么意思？
高欣怡是什么意思？
钟毓是什么意思？