存在图

✍ dations ◷ 2025-10-08 18:44:34 #存在图

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

相关

雷迪帕韦雷迪帕韦（英语：Ledipasvir，亦作GS-5885）是吉利德科学（英语：Gilead Sciences）研发的治疗丙型肝炎的药物。在完成了Ⅲ期临床试验后，吉利德于2014年2月10日向美国联邦政府申请报批了固
修道院病毒科修道院病毒科是一种由粉介壳虫和蚜虫传播的植物病毒。修道院病毒包括甜菜枯黄病毒（英语：Beet yellows virus）、莴苣传染性枯黄病毒（英语：Lettuce infectious yellows virus）、葡萄
睾丸酮睾酮（testosterone）（又称睾固酮、睾丸素、睾丸酮或睾甾酮、睾脂酮）是类固醇激素，由男性的睾丸或女性的卵巢分泌，肾上腺亦分泌少量睾酮。睾酮是主要的雌雄激素及蛋白同化甾类。不论
SGHWR蒸汽发生重水反应堆（Steam Generating Heavy Water Reactor，SGHWR）是英国一种商用核反应堆的设计。该型反应堆中子减速剂为重水，冷却剂则为轻水。冷却剂和沸水反应堆一样在反应
丹麦语丹麦格陵兰法罗群岛欧盟北欧理事会丹麦语（dansk， dansk 帮助·信息，宽式IPA：/d̥ænsɡ̊/），中文也称丹麦文，属于印欧语系－日尔曼语族－北日尔曼语支，通行于丹麦王国以及其属地
巴诺书店巴诺书店（Barnes & Noble，或译为邦诺）是美国最大的零售连锁书店，以大型的实体零售书店闻名，旗下很多店铺附带销售星巴克咖啡的咖啡厅，畅销书的促销价格也很有竞争力。巴诺书店在美
胆囊胆囊，是位于右方肋骨下肝脏后方的梨形囊袋构造，有浓缩和储存胆汁之用。胆囊是一个有弹性的梨形囊袋。胆囊内的单层柱状上皮细胞会分泌出粘液，构成粘膜。保护胆囊内壁免受胆汁腐
有机溶剂当有机化合物作为溶剂时，这个有机物就简称为有机溶剂。常见的有机溶剂有乙醚、二氯甲烷、苯、四氯甲烷、氯仿等。在一些职业安全相关的法规中，所指的“有机溶剂”是指具有挥发
胸导管胸导管是人和羊膜动物体中最长最大的淋巴管。胸导管自乳糜池经主动脉裂孔进入胸腔；沿脊柱右前方和胸主动脉与奇静脉之间上行，经食管与脊柱之间向左侧斜行，然后沿脊柱左前方上行
特奥蒂瓦坎特奥蒂瓦坎（纳瓦特语：Teotihuacán，现代纳瓦特语发音帮助·信息；西班牙语发音：.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI"