存在图

✍ dations ◷ 2025-11-26 21:38: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.

相关

纤维杆菌门纤维杆菌门（Fibrobacteres）是一类革兰氏阴性细菌，只包括纤维杆菌属（Fibrobacter）一个属。纤维杆菌属生活在反刍动物的瘤胃中，在其细胞周质中有纤维素酶可以分解纤维素使动物能够吸
种群生物系统层级关系：生物圈 > 生态系统 > 群落 > 种群 > 个体在生物学上，种群（英语：Population，或族群）指于一定空间范围内同时生活的同种生物的全部个体；或者说是有个体组成，能够而且
流体静力学流体静力学（Hydrostatics）是连续介质力学的分支学科流体力学的子学科。流体静力学研究流体（诸如气体和液体）静止时的现象以及相关力学行为的科学。这样的现象和行为可以用数学表
烟斗烟斗是流行于美国、欧洲的一种吸烟道具，塞进切好的烟草加上香料后点燃吸烟。最早烟斗主要流行于世界各地原住民，过去美洲原住民已有抽烟斗的习惯。烟斗这种吸烟工具推估是在有
右束支传导阻滞右束支传导阻滞（Right bundle branch block，简称RBBB）是一类心脏电传导系统阻滞疾病（英语：heart block）。乃肇因于心脏的右束支传导阻断，进而造成电讯号无法经由此途径传入右心室，而
器官衰竭多重器官衰竭（英语：Multiple organ failure）或称多器官功能障碍综合征（英语：Multiple organ dysfunction syndrome、MODS）、多系统器官衰竭（英语：Multiple-system organ failure）、多
苯芴醇苯芴醇（Lumefantrine或benflumetol）是一种抗疟药，只会和蒿甲醚合并使用，称为复方蒿甲醚-苯芴醇（英语：Artemether/lumefantrine），有时也会用英文co-artemether表示。在1981年的青蒿素
pernicious anemia维生素 B12 缺乏贫血（英语：Vitamin B12 deficiency anemia），是指因缺乏维生素B12造成红血球不足的疾病，恶性贫血（英语：Pernicious anemia）是造成维生素 B12 缺乏的原因之一。最常见
雌性雌性，有时又称母，在双性繁殖的生物中，是指负责制造卵子的个体（或个体的其中一部分）的性别，而负责制造精子的则称为雄性，在缺乏雄性的情况下，大部分雌性的个体并不能自我繁殖，但有少数
日本国宪法政治主题《日本国宪法》，又被称为《和平宪法》、《战后宪法》，是日本现行宪法，在1946年11月3日公布、1947年5月3日起施行。该宪法是日本政府在二战战败投降之后的盟军占领时期