存在图

✍ dations ◷ 2025-11-26 03:40:44 #存在图

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

相关

弗雷德里克·桑格诺贝尔化学奖（1958年）皇家奖章（1969年）盖尔德纳国际奖（1971年）科普利奖章（1977年）弗雷德里克·桑格，OM，CH，CBE，FRS（英语：Frederick Sanger，1918年8月13日－2013年11月19日），英国生物化学家，曾
类别1型超敏性即发性过敏反应（英语：Immediate Hypersensitivity），又称Ⅰ型超敏反应（英语：Type I hypersensitivity），是IgE介导的免疫反应，乃最常见的超敏反应类型。主要可分为两种：过敏原第一次接触
波多黎各面积以下资讯是以2015年估计国家领袖国内生产总值（购买力平价）以下资讯是以2016年估计国内生产总值（国际汇率）人类发展指数以下资讯是以2014估计波多黎各自由邦（英语：The Common
大英百科第11版《大英百科全书第十一版》（英语：Encyclopædia Britannica Eleventh Edition），或作《1911年版大英百科全书》，是《大英百科全书》最经典的一个版本，共29卷。它的出版也反映出美国
废水废水即受外物污染，主要是人为污染（英语：Human impact on the environment）的水。都市的设计用复合（英语：Combined sewer）排污系统输送废水往污水处理厂作进一步处理。经处理的废水
0号元素无电子0主条目：0号元素的同位素0号元素（英语：Neutronium），有时又被称为中子元素（英语：Neutrium），是指原子中仅含中子，不含质子的一种元素，或纯粹只由中子组成的物质。1926年物理学家安
张仲景张仲景（150年－219年），名机（《历代神仙通鉴》作玑），字仲景，南阳郡涅阳县（今河南邓州市和镇平县一带）人，东汉末年著名医学家。据张仲景在《伤寒杂病论》中所写的自序，东汉末年动乱频繁，疫病
解毒解毒或排毒（Detoxification）是用生理学或医学方式，从生物体中去除有毒物质，也包括人体中肝脏的解毒功能。医学上的排毒方式包括去除毒物摄入、使用解毒剂、透析及（数量有限的）螯
放射性物质放射性或辐射性是指某元素的放射性同位素从不稳定的原子核自发地放出射线（如α射线、β射线、γ射线等）而衰变形成另一种同位素（衰变产物），这种现象称为放射性。衰变时放出的能量
语言转移语言转移也称为语言交替、语言变化、语言转换、语言迁移、语言替代（Languages shift、Language transfer、Language replacement、Assimilation），是指某语言的使用群体改用另一