存在图

✍ dations ◷ 2025-11-15 21:12:40 #存在图

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

相关

细胞学细胞生物学（英语：cell biology）旧称细胞学（cytology），是研究细胞的形态结构、生理机能、细胞周期、细胞分裂、细胞自噬、细胞凋亡, 以及各种胞器及讯息传递路径的学科。研究范围专
眼科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学眼科学是医学上研究眼部疾患一个分支，
ΔFosB235414282ENSG00000125740ENSMUSG00000003545P53539P13346XM_005258691、NM_001114171、NM_006732NM_008036、XM_006539543、NM_001347586NP_001107643、NP_006723、XP_0052
黄症病毒科黄症病毒科(Luteoviridae)是病毒的一个科，包括下面三个个属
人眼眼睛是一种人体器官，位于头部，左右成对。与其它哺乳动物的眼睛相同，人眼有多种用途。作为感觉器官，眼睛能对光起反应，传送讯号至大脑，以产生视觉。在眼睛后端的视网膜上，拥有杆细胞
CXCL111RJT· inflammatory response · immune response · signal transductionCXCL11（英语：Chemokine (C-X-C motif) ligand 11）是一小分子的细胞因子属于CXC趋化因子家族，又被称
马铃薯片马铃薯片（美式英文：potato chip），简称为洋芋片或薯片，是指由马铃薯制成的零食。制作方法是把马铃薯用切或碾压成型等方式制成薄片，然后炸或烤至脆口并加以调味即可，营养成分表的脂
后设分析统计学上来说，元分析（meta-analysis，或译作后设分析、整合分析、综合分析、统合分析、荟萃分析）是指将多个研究结果整合在一起的统计方法。就用途而言，它是文献回顾的新方法。文
西墙西墙，又名哭墙（希伯来语：הַכֹּתֶל הַמַּעֲרָבִי‎，HaKotel HaMa'aravi），阿拉伯人称之为布拉克墙（阿拉伯语：حائط البراق‎，Ḥā'iṭ Al-Burāq）位于耶路
以巴冲突进行中持续中的冲突以色列-巴勒斯坦冲突是持续中的冲突，为阿以冲突及中东战争的一部分。巴以冲突不能够简单地概括为所有以色列犹太人与所有巴勒斯坦阿拉伯人之间的双边冲突