约束出现
基本解释
简解
约束出现的词语属性
拼音yuē shù chū xiàn
拼音字母yue shu chu xian
拼音首字母yscx
约束出现的百科含义
一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中自由出现，而此个体变元X叫此谓词公式的自由变元。
猜你喜欢
- xueshantanxia雪山潭虾
- dongdiwenguojiadui东帝汶国家队
- changjiaoshijiajianfeng长角食甲茧蜂
- chashaoe茶梢蛾
- dujuantaipingniao杜鹃太平鸟
- zhaoqituoliu沼气脱硫
- rizhaozhuangxiuwang日照装修网
- cunkuanzhiyadaikuan存款质押贷款
- liujinghe刘静河
- zhongyan终焉
- dajiangtang大讲堂
- ān bù wàng wēi安不忘危
- pixiu皮休
- jiangshikunjing僵尸困境
- xunwangcheshijie讯网车世界
- mangbaocao芒苞草
- wennayujiaoshu温拿与教叔
- jiankonggongcheng监控工程
- kucunshangpin库存商品
- panyuanzhiwu攀援植物
- changxiancaozuofa长线操作法
- jingyan景艳
- huwenxianhailong虎纹线海龙
- yemangantan野蛮干探
- zhutianshigaoda主天使高达
- nuoweixiawan挪威峡湾
- haogege好哥哥
- zhoufurong周福荣
- zhangyaya张雅雅
- lijiankeyan里见克彦