新闻资讯
看你所看,想你所想

正规概念

正规概念

正规概念是GB系统中的一个基本概念.正规概念B指存在本原命题函词沪。

正规概念(normal concept) GB系统中的一个基本概念.正规概念B指存在本原命题函词沪,使
正规概念
例如,因为:
所以,任,=,m等概念都是正规概念,注意上述三个表达式的右边,或是本原命题函词,或是仅含正规概念的合式公式,因而得以化归为本原命题函词.

相关推荐

声明:此文信息来源于网络,登载此文只为提供信息参考,并不用于任何商业目的。如有侵权,请及时联系我们:yongganaa@126.com