国土资源

地震

地貌

海洋

自然地理常识

西域地名

中国古代地名

人文地理常识

邯郸

上海

中国行政区划

世界地理

湖北地理

广西地理

中国宗教名胜

贵州地理

中国地理知识

地质年代

东亚名胜

地理名胜

水文

气候

环境保护

林业

自然现象

生物理论

自然生态

微生物

哺乳动物

鱼类

鸟类

动物生理

动物知识

植物

江西历史人物

东北历史人物

浙江历史人物

历史名人

外国文学家

文学家

红军人物

军事名人

经济人物

宗教人物

社科人物

在线名词解释大全 - 改名规则 - 详细

改名规则﹡

正确答案：[]

改名规则名词解释：改名遵循的原则.该规则要求公式中约束变元改名后真值不变.如果一个公式α中没有变元y的任何出现(自由或约束出现),当把α中一切x的自由出现改为y的自由出现,其结果记为β,则永有

热门搜索：

相关推荐

改名规则

扫描二维码
关注公众平台

京ICP备2022028318号-3