【摘 要】
：
本文在ZFC公理系统的基础上，首先提出可分析集合的概念且可表达为p={xIxEp}。然后给出受囿变量的定义，引入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对
论文部分内容阅读
本文在ZFC公理系统的基础上，首先提出可分析集合的概念且可表达为p={xIxEp}。然后给出受囿变量的定义，引入笛卡尔逻辑以使逻辑的概念像算法的概念一样精确化而成为明确的数学对象，不仅足以适应代数和分析的要求，而且充分满足经典和非经典逻辑的需要，并探讨命题间的可推导性关系，包括：对立、排中、重言、归谬、反对、矛盾、存在、全称、独立、同一和不矛盾。进而，讨论一些逻辑运算和有关的逻辑问题，并进一步阐述可分析集合的几个基本关系和基本运算。
其他文献
ue＊M＃’＃dkB4＃＃8＃”专利申请号:00109“7公开号:1278062申请日:00.06.23公开日:00.12.27申请人地址:（100084川C京市海淀区清华园申请人:清华大学发明人:隋森芳文摘:本发明属于生物技
儒最早面世，仅是“一家之言”，至其再传弟子已有分歧。荀孟的“性恶论”“性善论”之争，加大了裂隙。经叔孙通预备、董仲舒建功，儒术乘汉室皇权并被汉室皇权所乘，向宗教方向疾驰并
从风声传出到很快且低调修改自己的官方微信公号名称,京东金融品牌升级为京东数字科技的种种传言就没有断过,直至11月20日京东金融在其年度探索者大会上的官宣,这个我们习惯
首先对信息系统的访问控制进行简单介绍，着重介绍了基于RBAC权限角色的模型设计思想；并对现有模型提出了自己的改进方法，从角色的继承深度和继承范围这两个方面对模型进行了深入
灵芝(Ganoderma Lucidum)又称瑞草,是我国传统的药用真菌,在分类学上属真菌门,担子菌纲,多孔菌目,多孔菌科,灵芝属。中医认为它具有扶正固本、祛病延年的功能,对提高人体免
前不久,国务院常务会议决定延续和完善跨境电子商务零售进口政策,并扩大适用范围。商务部等六部门印发了《关于完善跨境电子商务零售进口监管有关工作的通知》(以下简称“《
结合一座上承式装配式公路钢桥在采用悬臂推出法架设过程中发生的事故案例,基于钢结构弯扭屈曲理论,分析其失稳破坏机理,并通过有限元数值模拟技术,对架设过程中不同状态进行
日前,科技部基础研究司与科技部高技术研究发展中心联合召开“2016年度中国科学十大进展解读会”,公布了2016年度中国科学十大进展。研制出将二氧化碳高效清洁转化为液体燃料
近年来,人工智能技术发展迅速。随着其应用水平的不断提高,许多传统行业都面临着巨大的变革,对于那些具有重复性、程序性、结构化特征的工作,其可替代程度将不断扩大。而对于
鄂伦春族具有游牧民族的特点,其装饰纹样则具有一定意义的造物思想,或以制器者尚其象;或天时地气,才美工巧;抑或功能与信仰兼蓄,成就了本民族独特的风土人情与审美特征。它是