存在图

✍ dations ◷ 2025-11-17 16:39:25 #存在图

存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.

相关

人体解剖学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学人体解剖学（英语：anthropotomy或human a
复活复活是指生命在死亡后再复生的意思，也称作死而复生。复活是很多宗教的中心思想，但其阐释却不一定与不死灵魂的宗教信念相关。复活的思想，存在于古今的宗教中。古代埃及人相信，人
子囊子囊（ascus）是子囊菌门真菌通过单倍体胞核进行有性生殖并辗转产生而产生子囊孢子的细胞。子囊一般位于产囊菌丝的顶端，形状不一，多数子囊呈现圆柱状，也有瓶状或棒状。子囊大多通
红河雷德河（英语：Red River），也译作“红河”，是密西西比河下游西岸的主要支流之一。雷德河发源于得克萨斯州西北部地区，有两支主要源头，合流后向东流去，成为得克萨斯和俄克拉何马州的边
闭锁不全二尖瓣闭锁不全（Mitral insufficiency，或mitral regurgitation，简称MR或MI），是描述心脏二尖瓣在心室收缩期间无法完全闭合的现象。此疾病会导致左心室的血液经二尖瓣逆流（英语：Regu
精油精油（essential oil）是一种芳香物质，一般是从植物中萃取出来的芳香分子，为香水、调味料、化妆品等工业的重要产品，以及芳香疗法（aromatherapy）的主要原料。精油通常使用水蒸气蒸馏
潮汐能潮汐能是指从海水面昼夜间的涨落中获得的能量。在涨潮或落潮过程中，由海水进出水库带动发电机发电。潮汐能是一种水能，它将潮汐的能量转换成电能及其它种有用形式的能源。第一
磺胺二甲异嘧啶磺胺二甲异嘧啶是一种磺胺类药物，其INN名称是“Sulfisomidine”。该药物可用于治疗由细菌感染引起的疾病等病症。该药物在血液中的半衰期尚不明确。20世纪50年代，曾对该药物治
布基纳法索面积以下资讯是以2019年估计家用电源国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）以下资讯是以2016年估计人类发展指数以下资讯是以2018
维他命B17扁桃苷（Amygdalin，源自希腊语“扁桃”ἀμυγδάλη amygdálē ），又名苦杏仁苷，是许多植物中发现的一种有毒的氰苷，但最引人注目的是存在于杏、苦杏仁、苹果、桃及梅子等植物