正规运算﹡的名词解释

【正规运算﹡名词解释如下】

正规运算名词解释：
GB系统中的一种运算.正规运算U是指,存在一个本原命题函词φ,能使Y∈U(X₁,X₂,…,X_n)φ(Y,X₁,X₂,…,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为正规概念,故可化归为本原命题函词.

关注VX公众号【文得课堂】免费领取考试资料。

相关阅读：

河北大学公费研究生
新视野大学英语2答案
宏观经济学试题及答案
大学英语2课后答案
实际利率
西安理工大学体育部
2012初试成绩
宁夏大学计算机学院
聊城大学外语教学网
廖青
薛有志