存在图

✍ dations ◷ 2025-11-30 01:36:13 #存在图

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

相关

迈蒙尼德迈蒙尼德为摩西·本·迈蒙（希伯来语：משה בן מימון；阿拉伯语：أبو عمران موسى بن ميمون بن عبد الله القرطبي الإسرائيل
paracetamol7.21 g/kg (0 °C) 8.21 g/kg (5 °C) 9.44 g/kg (10 °C) 10.97 g/kg (15 °C) 12.78 g/kg (20 °C) ~14 mg/mL (20 °C)对乙酰氨基酚（英语：Acetaminophen），又称
恶性高热恶性高热、致命高热（英语：Malignant hyperthermia (MH)）是病人因全身麻醉而导致的严重反应，是因为使用特定全身麻醉药而引发的罕见危及生命病症（英语：life-threatening condition），
西部马脑炎病毒西部马脑炎病毒（英文：Western Equine Encephalitis，简称:WEE）是经由蚊子所感染的病毒，主要感染马类，但也可以感染人。西部马脑炎病毒和东部马脑炎病毒一样都属脑炎病毒的一种。第
免疫沉淀法免疫沉淀法(Immunoprecipitation, IP)是一种研究蛋白质间交互作用的生物技术，这种技术是将蛋白质视为抗原，并利用抗体与之进行特异性结合的特性，来进行研究。这项技术可用来将
肝门静脉肝门静脉是一条从胃、脾脏、胰脏、小肠流至肝脏的静脉。肝门静脉由接受来自胆囊、膀胱和体壁血液的腹大静脉，和接受来自大肠小肠、脾脏、胃和胰脏血液中位于肠系膜中的肝门静
克里米亚克里米亚半岛（又译克里木半岛；俄语：Кры́мский полуо́стров，罗马化：Krymskiy poluostrov；乌克兰语：Кримський півострів，转写：Krymskyi nivost
延胡索酸延胡索酸(Fumaric Acid)，又名富马酸、紫堇酸或地衣酸，即反丁烯二酸（IUPAC名为(E)-丁烯二酸），是一种无色、易燃的晶体，由丁烯衍生出的羧酸。它的化学式是C4H4O4。燃烧延胡索酸会释
发声与多种运动联合抽动障碍图雷特氏综合征（英语：Tourette Syndrome、TS），又称抽动症、托雷氏症、杜雷氏症，是一种抽动综合症（Tics）。这是一种遗传性的神经内科疾病，通常发生于学龄前至青春期前。有一部分的患
湿度湿度（英语：Humidity）一般在气象学中指的是空气湿度，它是空气中水蒸气的含量。与蒸汽干燥度（也称蒸汽的品质，英语：dryness fraction of steam, quality of steam）不同，空气中液态或固