存在图

✍ dations ◷ 2025-11-23 05:39:06 #存在图

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

相关

嗜热细菌嗜热生物，或者多数可被称作嗜热菌，是在相对高的温度下中生存的生物，温度范围在45和122 °C（113和252 °F），是嗜极生物的一类。很多嗜热生物是古细菌。在地球上，嗜热生物可以在很多
结膜炎结膜炎（英语：Conjunctivitis，亦称Pink Eye），俗称红眼症，是一种发生在结膜的炎症，也会发生在眼睑内侧表面，会让眼睛泛红或带有粉红色，可能会很痒、疼痛、有灼热感或搔痒感，罹患结膜炎的
参与经济参与型经济（Participatory economics，简称parecon）是一个还在设想阶段的经济体制。该体制通过平等参与来作经济决定，引导一个社会的资源配置和消费。该体制的目标是替代当代资本
呼吸道感染呼吸道感染（英语：Respiratory tract infection）指的是任何涉及到呼吸道部分的感染性疾病，这类疾病一般会被进一步细分为上呼吸道感染（URI、URTI）或者下呼吸道感染（英语：lower respir
神学院叶史瓦（/jəˈʃiːvə/; 希伯来语：.mw-parser-output .script-hebrew,.mw-parser-output .script-Hebr{font-size:1.15em;font-family:"Ezra SIL","Ezra SIL SR","Keter Aram
恩典在圣经中，“恩典”这个词语翻译自古希腊语：χάρις（charis），原意为“带来满足、愉快、欢乐和好运”。七十士译本将希伯来语中表示“好意”的词根翻译成“恩典”，例如创世纪6:8
羧酸.mw-parser-output ruby>rt,.mw-parser-output ruby>rtc{font-feature-settings:"ruby"1}.mw-parser-output ruby.large{font-size:250%}.mw-parser-output ruby.larger{fon
美容美容指为了追求“美”而对于身体所进行的物理性之修缮巧饰之行为，通常指容貌上的。美容有三个定义：本条目指第一及第二项。我们现在每天出门前必做的事情——洗脸，是文字记载的
语法范畴语法范畴（Grammatical category），也称语法特征（Grammatical feature），是指通过句法或形态上的特征对各种语法意义的归类。语法范畴可以定义为通过句法或形态上的语法特征对各种语
行书行书，分为行楷及行草，是汉字书法中的一种手写字体风格，相传是在东汉年间刘德升所创。唐朝张怀瓘《书断》对行书的来源有如此看法：“行书即正书（楷书）小伪，务从简易，相间流行，故谓之行