国土资源
地震
地貌
海洋
自然地理常识
西域地名
中国古代地名
人文地理常识
邯郸
上海
中国行政区划
世界地理
湖北地理
广西地理
中国宗教名胜
贵州地理
中国地理知识
地质年代
东亚名胜
地理名胜
水文
气候
环境保护
林业
自然现象
生物理论
自然生态
微生物
哺乳动物
鱼类
鸟类
动物生理
动物知识
植物
江西历史人物
东北历史人物
浙江历史人物
历史名人
外国文学家
文学家
红军人物
军事名人
经济人物
宗教人物
社科人物
查看更多
在线名词解释大全
-
存在量词引入规则
-
详细
存在量词引入规则﹡
存在量词引入规则名词解释：谓词演算的一种语法规则.设公式γ中没有x的自由出现,则存在量词的引入规则为Δ(α(x)→γ)Δ((x)α(x)→γ),此处ΔA表示公式A的全称封闭式.
热门搜索：
冲击力
勾股定理
万有引力
相关推荐
量词
引入
规则
存在
扫描二维码
关注公众平台
京ICP备2022028318号-3
