约束出现
基本解释
简解
约束出现的词语属性
拼音yuē shù chū xiàn
拼音字母yue shu chu xian
拼音首字母yscx
约束出现的百科含义
一个谓词公式如果其中由一部分公式形如∀xA或∃xA，则凡在这部分中变元x的一切出现都叫做x在此谓词公式中约束出现，而变元x叫此谓词公式中的约束变元。一个谓词公式如果其中由一部分公式内的变元x不呈约束出现，则叫x在此谓词公式中自由出现，而此个体变元X叫此谓词公式的自由变元。
猜你喜欢
- deyishuangxin德艺双馨
- dianzinvwang典子女王
- cangtianjiange苍天剑歌
- youlvyou尤旅游
- qihan祁寒
- dafangxian大方县
- mashanxiang麻山乡
- hengxingnishi横行逆施
- yanhongliang颜宏亮
- woshiwenxuejia我是文学家
- furonggongyu芙蓉公寓
- changjiangqukaifaqu昌江区开发区
- juehunyin绝魂印
- dongzhengxitao东征西讨
- baokaigongsi宝开公司
- chakechake查克查克
- guangzhouhuameida广州华美达
- shiyuanbeiqu石园北区
- kashichanglu卡氏长鲈
- wangyanzhang王言章
- liansheshan链蛇鳝
- baijing白茎
- yuanhaitao袁海涛
- junzhuchenjian君主衬肩
- xiangkai想开
- jilongcaisi吉砻蔡寺
- dān dān单单
- dengkenjizhanliejian邓肯级战列舰
- liuyizhong刘艺中
- weiyanglou渭阳楼