#变元约束# 相关文档
-
离散数学-2-4 变元的约束.ppt
单击此处编辑母版标题样式单击此处编辑母版文本样式第二级第三级第四级第五级第二章谓词逻辑2-4 变元的约束授课人：李朔Email:chn.nj.lsgmail1一基本概念在给定的一个合式公式?x (A)或?x(A)中称x为指导变元或作用变元称A为相应量词的辖域或作用域在辖域中x的所有出现称为约束的A中不是约束出现的变元称自由变元自由变元有时也在量词的作用域中出现但它不受相应量词中指导变元的约
日期：2022-04-03 格式：.pptx 页数：22页 大小：71.5KB 发布：
- 1
- 1/1页
客服
顶部