存在图

✍ dations ◷ 2025-01-22 23:50:56 #存在图

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

相关

精子精虫或精子（英语：spermatozoon、spermatozoön、复数 spermatozoa）是男性或其他雄性生物的生殖细胞。精子与卵子结合从而形成受精卵，进而发育为胚胎。精子最初由雷文霍克于1677
抗菌剂抗细菌药（英语：antibacterial）也称为“抗细菌剂”，是一类用于抑制细菌生长或杀死细菌的药物。在不引起歧义的情况下，抗细菌药也可简称为“抗菌药”，包括抗生素（英语：antibiotic）由微
阿莫西林克拉维酸钾阿莫西林克拉维酸钾是一种用来治疗各种细菌感染的抗细菌药，由阿莫西林和克拉维酸钾合成。分为口服的阿莫西林克拉维酸钾片和静脉注射的干混悬剂。阿莫西林克拉维酸钾是世界卫
最小抑菌浓度最小抑菌浓度（英文：minimum inhibitory concentration:MIC）是指经过一夜的培养后，能使细菌的发育受到阻滞并被观察到的抗细菌药的最小浓度。MIC在诊断实验室里是抗细菌药对细菌
免疫沉淀法免疫沉淀法(Immunoprecipitation, IP)是一种研究蛋白质间交互作用的生物技术，这种技术是将蛋白质视为抗原，并利用抗体与之进行特异性结合的特性，来进行研究。这项技术可用来将
Am5f7 7s22, 8, 18, 32, 25, 8, 2主条目：镅的同位素镅（Americium，台湾译作鋂）是一种放射性超铀元素，符号为Am，原子序为95。镅属于锕系元素，在元素周期表中位于镧系元素铕之下。镅是以
磺胺多辛磺胺多辛是一种磺胺类药物，其INN名称是“Sulfadoxine”。该药物可用于治疗疟疾等病症。该药物在血液中的半衰期暂时未知，在大鼠体内的LD50（半致死量）为1.8756mol/kg。该药物目前
孢子丝菌症孢子丝菌病是一种因为受到申克氏孢子丝菌(Sporothrix schenckii)感染，引起皮肤产生病变，也可能发生在肺、关节、骨骼，甚至脑，但是较为罕见。申克氏胞子丝菌存在于土壤中，干草堆、
子午流注子午流注（midnight-noon and ebb-flow doctrine），意即根据中医学说，一日的十二个时辰，和人体的十二条主要经络互相对应，如下表所列。中医认为，在每一个时辰内，其所对应之经络上之血
三叉神经三叉神经（Trigeminal nerve）为混合神经，也就是既含有运动神经又含有感觉神经。感觉部分收集来自面部和头部的信息，运动部分则控制咀嚼肌。三叉神经是面部最粗大的神经，它的运动部