存在图

✍ dations ◷ 2025-11-05 19:11:38 #存在图

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

相关

疟原虫疟原虫属（Plasmodium）是一类单细胞、寄生性的囊泡虫。本属生物通称为疟原虫。本属生物中有五种疟原虫会使人类感染疟疾，包括恶性疟原虫（Plasmodium falciparum）、三日疟原虫（Plasm
住院医师人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学医生又称医师，在中国古代称大夫或郎中
硝化螺旋菌门硝化螺旋菌门（Nitrospira）是一类革兰氏阴性细菌。其中的硝化螺旋菌属（Nitrospira）作为硝化细菌（Nitrifier），可将亚硝酸盐氧化成硝酸盐。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o药
肠套叠肠套叠是指一段肠道套入另一段肠道的一种症状，形成像直筒式望远镜收纳时一般的折叠状。虽然任何部分的肠道都有可能发生肠套叠，但是其中以回肠与结肠交会处是最常发生肠套叠的
庆大霉素庆大霉素（或称见大霉素，Gentamicin，商品名Garamycin）是一种抗生素，对革兰氏阳性菌、革兰氏阴性菌皆有治疗效果。适应症包含骨头感染（英语：osteomyelitis）、心内膜炎、骨盆腔发炎、脑
rDNA核糖体DNA（Ribosomal DNA，rDNA）是一种DNA序列，该序列用于rRNA编码。核糖体是蛋白质和rRNA分子的组合，翻译mRNA分子以产生蛋白质的组件。如该图所示，真核生物的rDNA包括一个单元段，
输血输血是一种治疗措施，可算是一种支持性与代偿性的疗法。出现场合包括了外科手术备血以防术中失血过多、严重贫血等等。输血可以针对不同血液成分（或称“血品”）进行输入，包括了全
罗萨斯罗塞斯（西班牙语：Roses），是西班牙加泰罗尼亚赫罗纳省的一个市镇。总面积46平方公里，总人口12726人（2001年），人口密度277人/平方公里。
肾衰竭肾功能衰竭（英语：renal failure、kidney failure，或renal insufficiency），又简称肾衰竭，是指因肾病变，造成肾脏出现问题导致未能有效带走血液中的杂质，继而影响身体的代谢，严重者可致
形态上的分类语言的形态分类（英语：morphological typology），是根据它们共同的形态结构对世界上的语言进行分类（参见语言类型学）的一种方法。该领域根据这些语言组合语素构成单词的方式来把语言