约束变量

（函数 | 石材）
量化一个合式公式中的某个变量所得到的表达式也是合式公式。
领域
数理逻辑
词条相关
词条 主页 》
词条 科普 》
词条 事件 》
词条 题库 》
词条 知识 》