国土资源
地震
地貌
海洋
自然地理常识
西域地名
中国古代地名
人文地理常识
邯郸
上海
中国行政区划
世界地理
湖北地理
广西地理
中国宗教名胜
贵州地理
中国地理知识
地质年代
东亚名胜
地理名胜
水文
气候
环境保护
林业
自然现象
生物理论
自然生态
微生物
哺乳动物
鱼类
鸟类
动物生理
动物知识
植物
江西历史人物
东北历史人物
浙江历史人物
历史名人
外国文学家
文学家
红军人物
军事名人
经济人物
宗教人物
社科人物
查看更多
在线名词解释大全
-
正规运算
-
详细
正规运算﹡
正规运算名词解释：GB系统中的一种运算.正规运算U是指,存在一个本原命题函词φ,能使Y∈U(X
1
,X
2
,…,X
n
)φ(Y,X
1
,X
2
,…,X
n
).
成立的运算.例如,因为名词解释：
1.Y∈(-A)m(Y)∧(X∈A).
2.Y∈A∩BY∈A∧Y∈B.
3.Y∈D(A)m(Y)∧y(〈y,Y〉∈A).
所以,类的补运算一、交运算∩、定义域D等都是正规运算.此外,应注意上述式子中右边出现m为正规概念,故可化归为本原命题函词.
热门搜索：
冲击力
勾股定理
万有引力
相关推荐
运算
正规
扫描二维码
关注公众平台
京ICP备2022028318号-3
