存在图

✍ dations ◷ 2025-11-26 15:33:02 #存在图

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

相关

转化转型（英语：transformation），又译转化，即细胞通过摄取外源遗传物质(DNA或RNA)而发生遗传学改变的过程。在转化过程中，转化的DNA片段称为转化因子。受体菌只有处在感受态时才能够摄
弗雷德里克·图尔特弗雷德里克·威廉·图尔特 FRS（Frederick William Twort，1877年–1950年）是一位英格兰细菌学家，他在1915年发现了噬菌体。他曾在圣托马斯医院研究医学，是布朗动物研究所（Brown In
基因组基因组（genome）在生物学中，是指一个生物体所包含的DNA（部分病毒是RNA）里的全部遗传信息，又称基因体。基因组包括基因和非编码DNA。1920年，德国汉堡大学植物学教授汉斯·温克勒（Hans
格陵兰岛参数所指定的目标页面不存在，建议更正成存在页面或直接建立下列一个页面（建立前请先搜寻是否有合适的存在页面可以取代）：注意如果条目名称是繁体字要使用繁体的“消歧義”，简体字
塞萨洛尼基塞萨洛尼基(英语: Thessaloniki; 希腊语: Θεσσαλονίκη），又译作萨洛尼卡、塞萨洛尼卡、萨罗尼加，旧译作帖撒罗尼迦或忒萨洛尼卡（按古希腊语发音），是希腊第二大城市，也是
天堂天堂，有时也称为天国，字面意思即天上的殿堂、国度，很多宗教和心灵哲学认为人死后的生命形式将存在的处所。一般认为，天堂通常是出于人对于生死无常的恐惧和因果报应观念的产物，但
细胞内寄生物细胞内寄生物（英语：Intracellular parasite）是指一类寄生于宿主细胞中生长、繁殖的生物，可分为兼性（Facultative）和专性（Obligate）寄生物。部分细胞内寄生物会导致相关疾病的发生。
哈萨克斯坦哈萨克斯坦国家图书馆（哈萨克语：Национальная Библиотека Республики Казахстан），是哈萨克斯坦的国家图书馆。这座图书馆于1931年建
孟－高棉语族孟高棉语族是东南亚的语言集合，包括孟语和高棉语等多种语言。按照传统的分类，这个语族与印度的蒙达语族（又译扪达语族）构成南亚语系。新近的分类已经抛弃这种二分法：Diffloth（2005
文字史文字的发展是渐进发展的，在文字发展出来之前，已有许多的原始文字（英语：Proto-writing）出现，这些原始文字处于从无文字向有文字的过渡阶段，它们和文字最大的差别在于这些符号通常不