This paper defines the conglomerate axiom system COG, and constructs the model A~B,and proves that A~B is the Boolean - valued moael of COG on the basis of [1].
英
美
释义
本文在文献[1]的基础上,首先定义聚合公理系统COG,然后构造模型A~B,最后证明A~B是COG的布尔值模型。
把海词放在桌面上,查词最方便
触屏版
|
电脑版
©2003 - 2025 海词词典(Dict.cn)
立即下载