【摘 要】
：
在张清宇1997年的经典命题逻辑系统Z中,方括号兼具有命题联结词和作为辅助符号的双重作用,其中,广义析舍公式[A0,…,An-1](=def(A0∨…∨An-1))是除了原子公式p、q、r、…之
论文部分内容阅读
在张清宇1997年的经典命题逻辑系统Z中,方括号兼具有命题联结词和作为辅助符号的双重作用,其中,广义析舍公式[A0,…,An-1](=def(A0∨…∨An-1))是除了原子公式p、q、r、…之外惟一的公式形式;语义上,[A0,…,An-1]为真当且仅当由该公式所有直接子公式构成的公式集合{A0,…,An-1}是不协调的。本文在此基础上再进一步,直接就把公式集合"{A0,…,An-1}"看作是与系统Z的广义析舍公式具有相同解释的一个公式,使集合论的花括号"{}"兼具命题联结词、句法辅助符号以及集合符号的三重作用,在系统Z的语义解释下——作为公式的{A0,…,An-1}为真当且仅当作为公式集合的{A0,…,An-1}是不协调的——建立一个新的经典命题逻辑系统,该系统把系统Z的两条公理兼并成一条,另外提出两条推演规则,所得到的系统与系统Z是不同的。最后证明该系统的可靠性和完全性。
其他文献
【正】 企业内部转移产品或劳务的结转价格制订工作是一个复杂问题。这个问题在跨国公司显得更为复杂,而且它的主要作用与国内企业不同。一、操纵内部结转价格对跨国公司的作
用共焦扫描激光检眼镜(cSLO)测定眼底自体荧光(FAF)是近10年来出现的技术,它利用脂褐素的光学特性成像,反映视网膜色素上皮细胞的功能和感光细胞的状态,对多种眼底病的病因研
[目的]寻求对实际生产有效的天然保鲜液,延长冷却猪肉的货架期,提高其安全品质,推动中国冷却猪肉的发展.[方法]利用前面筛选研究所得的天然保鲜液,分别是1^#保鲜液（壳聚糖0.5%
目的调查服药记录册在提高出院患者达比加群酯服药依从性中的作用。方法选取心血管内科接受达比加群酯抗凝治疗的88例出院患者作为研究对象,随机分为观察组和对照组两组,各44
为了开展基于作物实时传感器的田间变量作业离心圆盘式撒肥机的研究,综合考虑已设计的离心圆盘撒肥机的结构和机理,选取并分析撒肥高度、圆盘叶片位置角、肥料下落位置角3个
男，78岁，因间断心前区不适5年，7h内3次发作性咽喉部紧缩感伴全身大汗于2006年11月28日9：30入院。患者1988年因心电图（ECG）发现完全性右束支传导阻滞（RBBB）诊断冠心病。2001年出现劳累
1．发动机电控双缸同时点火系统发动机电控双缸同时点火是指2个气缸合用一个点火线圈（如图1所示），即一个点火线圈有2个高压输出端，分别与火花塞相连，负责对2个气缸同时点火。该点火
本文对水稻叶蝉(黑尾叶蝉、二条黑尾叶蝉、二点黑尾叶蝉)取食不同抗性寄主植物(日本晴、Taduean、Te-Tep、李氏禾)所分泌蜜露中的糖和氨基酸成份与4种寄主植物中糖和氨基酸成
提出在INMARSAT使用再生式转发器的设想,针对使用再生式转发器的INMARSAT通信性能进行分析;通过对影响传输质量的信噪比、传输速率、通信容量、误码率等主要参数进行定性分析
目的探讨交锁髓内钉治疗股骨、胫骨骨折术中并发症的原因及防治措施。方法对318例应用交锁髓内钉治疗股骨、胫骨骨折术中出现的并发症进行总结分析。结果318例均达到骨性愈合