首页 >
存在图
✍ dations ◷ 2025-04-26 12:37:30 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在1882年写了第一篇关于图形逻辑的论文,并持续开发这种方法直到1914年他故去。皮尔士提出了三个存在图系统:Alpha嵌套于beta和gamma 中。Beta不嵌套于gamma中,量化的模态逻辑超出了皮尔士的视野。语法是:语义是:一个对象的深度是包围它的切的数目。推理规则:等价规则:证明按照一系列步骤操纵一个图,每个步骤都由上述规则中一个来证实,直到这个图被简约为一个空切或空白页。可以如此简约的图现在叫做重言式或矛盾。不能简约超过一个特定点的图类似于一阶逻辑的可满足公式。皮尔斯使用直觉的英语短语来记号表示谓词;还采用了当代逻辑使用的大写拉丁字母。点断言包含在论域中的一个个体的存在。同一个对象的多个实例用线连起来,这个线叫做"同一线"。这里没有文字变量或量词。连接两个或多个谓词的同一线共享一个公共变量。beta图可以被当作采用可隐含量化的变量。对象的深度是它包含的切的数目。如果一个变量的"最浅"的实例有偶数(奇数)深度,这个变量被默认的存在(全称)量化了。beta图看起来是流线型的带有等式的一阶逻辑,但是在次要文献中没有清晰的指出。向alpha增加了第二类切,写做虚线而不是实线。使用虚线的简单闭合的曲线可以读做模态逻辑的基本一元运算。Zeman (1964)首先注意到了:As of this writing, the chronological critical edition of Peirce's works, the Writings, extends only to 1890. Much of Peirce's work on graphical logic consists of manuscripts written after that date and still unpublished. Hence our understanding of Peirce's graphical logic is likely to change as the remaining 25 volumes of the chronological edition appear.
相关
- 核医学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学核医学是医学和医学影像学(医学成像)的
- 腹股沟肉芽肿腹股沟肉芽肿(学名:Granuloma inguinale,亦作donovanosis)是一种由致病细菌克雷伯氏菌属的肉芽肿克雷伯氏菌(英语:Klebsiella granulomatis)(Klebsiella granulomatis(英语:Klebsiella
- 大气河流大气河流是大气中由高浓度水蒸气形成的狭窄区域。大气河流经由狭窄通路输送水蒸气,通常沿着大面积的分散表面空气流动的边界,包括与在海洋上形成的热带气旋相关的一些额外区域
- 二性霉素B两性霉素B(英语:Amphotericin B,商品名:Fungizone),一种具有抑菌或杀菌作用的抗霉菌剂。对新生隐球菌、白色念珠菌、组织胞浆菌、球孢子菌、酿母菌均具抑制作用。其所产生的药效端
- 达达尼尔海峡坐标:40°13′00″N 26°26′00″E / 40.216667°N 26.433333°E / 40.216667; 26.433333达达尼尔海峡(希腊语:Δαρδανέλλια,转写:Dardanéllia),土耳其称恰纳卡莱海峡(土
- 继业者继业者(希腊语:.mw-parser-output .Polytonic{font-family:"SBL BibLit","SBL Greek","EB Garamond","EB Garamond 12","Foulis Greek",Cardo,"Gentium Plus",Gentium,"Theano
- 法特萨法特萨是土耳其的城镇,由奥尔杜省负责管辖,位于该国北部黑海沿岸,面积570平方公里,海拔高度10米,主要经济活动有农业和渔业,2009年人口99,684。
- 研发研究开发(英语:Research and development;缩写:R&D),或译研究与开发,简称研发 ,是隶属于企业、大学及国家的机构所开展的科学项目研究与技术开发活动。于2006年,在研究开发领域上投
- 葡萄牙葡萄牙国家图书馆(Biblioteca Nacional de Portugal)是葡萄牙的法定送存国家图书馆,位于该国首都里斯本。1796年创立时称为“Real Biblioteca Pública da Corte”,位于希亚多区
- 东北高加索语系东北高加索语系是主要分布在俄罗斯达吉斯坦、车臣、印古什、阿塞拜疆北部、格鲁吉亚东北部等地的一个语系。