论文部分内容阅读
我们通过引入拓扑结构给出命题逻辑紧致性定理的拓扑证明,并给出一阶逻辑紧致性定理在拓扑空间中的等价形式。
命题逻辑紧致性定理的拓扑证明与一阶逻辑紧致性定理在拓扑空间中的等价形式
【摘 要】
：
我们通过引入拓扑结构给出命题逻辑紧致性定理的拓扑证明,并给出一阶逻辑紧致性定理在拓扑空间中的等价形式。
【出 处】
：
郑州航空工业管理学院学报
【发表日期】
：
1988年3期
其他文献
一、平方米变市亩换算法 据1平方米=0．0015亩。换算方法：“加半左移三”。例如：128平方米等于多少亩？换算方法：先加半，即128＋64=192，将小数点向左移动三位。那么，128平方米=0．192亩。
华油杂10号（原代号H9905）是华中农业大学国家油菜武汉改良分中心杨光圣教授用双低生态型细胞质雄性不育系8110A作母本、双低恢复系8759作父本配制而成的半冬性双低甘蓝型油菜杂
有些兔病不一定需用药物防治，能以草代之。这样做副作用小，而且能同样起到防治效果。马齿苋。有清热、解毒、消肿、驱虫、消疳、止血、止痢的功能。可治兔的痈、疮、疔、毒和急
国家发展和改革委员会价格司司长曹长庆7月25日在发改委举办的2007年上半年经济运行新闻发布会上说，今年下半年价格总体水平将在一种相对稳定的态势中缓慢上涨，下半年的秋粮收
风电机组齿轮箱故障发展进程中早期劣化特征信息微弱,采用传统的奇异值分解（Singular Value Decomposition,SVD）降噪方法容易造成有用信息的丢失。针对这一问题提出基于μ-SVD
针对目前基于语义角色的实体及关系抽取技术效果不理想以及存在无法正确提取多个宾语的缺陷,提出一种基于语义角色和依存关系融合的方法:1)通过语义角色标注的方式抽取主语和
为实现光纤光栅的高速精确解调,设计了3 d B带宽在1～3 nm之间的宽带布拉格光栅,进行波长寻峰分析,并进行了实验验证。实验结果表明,使用CCD检测光栅反射光谱信号时,像素点间波
针对虚拟同步发电机控制算法在新能源并网中具有稳定系统运行的积极作用,提出了采用传统功率下垂控制算法取代虚拟同步发电机算法中的有功/频率调节和无功/电压调节部分,保留
在Archard模型的基础上构建了一种考虑摩擦副接触面积的磨损量计算模型。依据实验结果确定了磨损系数K的函数表达式,讨论了单一工况条件下不同接触比例摩擦片对离合器磨损量