存在图

✍ dations ◷ 2025-11-25 22:07:58 #存在图

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

相关

构象构象异构（英语：Conformational isomerism，又译结构异构或构形异构，指由于原子环绕于化学键四周，而导致结构式相同，却具有化学构象或构象异构体之差异的分子现象。有三种效应，会使某
交沙霉素交沙霉素又称为“角沙霉素”，是一种大环内酯类抗生素（分子中包含一个14元环）。交沙霉素为白色或微黄白色结晶性粉末，无臭，味苦，极易溶于乙醇、乙醚或氯仿，极微溶于水。该抗生素由那
栉水母门栉水母（Ctenophores），又名海胡桃，是一类两胚层动物，属辐射对称动物，现被划分为栉水母动物门（学名：Ctenophora），又名有栉动物门、栉板动物门。原和刺丝胞动物一起分在腔肠动物门，作为无
膀胱输尿管返流膀胱输尿管返流(Vesicoureteral Reflux、VUR)是尿从膀胱到输尿管或肾的异常地反向性地流动。尿液的正常运行是从肾脏进经由输尿管到膀胱。出生前胎儿的膀胱输尿管反流的症状
汤飞凡汤飞凡（1897年7月23日－1958年9月30日），幼名瑞昭，湖南醴陵人，微生物学家，砂眼衣原体首次分离者。为第一个投身病毒学研究的华人。曾任中华医学会理事、中国国家菌种保藏委员会主任委
海格力斯赫拉克勒斯（希腊语：Ηρακλής，Hēraklēs，引申自Hēra“赫拉”和kleos“荣耀”，即赫拉克勒斯被称为赫拉的荣耀，转写：Heracles，音译赫剌克勒斯、海格力斯、海克力士、赫克力士），是
费尔巴哈路德维希·安德列斯·费尔巴哈（德语：Ludwig Andreas von Feuerbach，1804年7月28日－1872年9月13日），德国哲学家。出生于拜仁州（巴伐利亚）下拜恩区的首府兰茨胡特，逝于同一州的纽伦堡，是
RBM15· protein binding· nucleolus· positive regulation of transcription of Notch receptor target · viral process · negative regulation of myeloid cell differe
哲学逻辑哲学逻辑是对逻辑更特定于哲学的方面的研究。这个术语相对于数理逻辑，因为数理逻辑开发于19世纪晚期，已经包含了传统上一般由逻辑学处理的大多数主题。它关心的是尽可能的以最
马桶坐垫纸马桶座垫纸是一种可用来覆于马桶座垫上的纸张。通常使用的原因是出于卫生考虑。但近期却有观点认为人们高估了马桶的致病几率，并称马桶座垫纸的心理安慰作用大于实际作用。20