存在图

✍ dations ◷ 2025-12-09 13:30:58 #存在图

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

相关

蠕虫病蠕虫病，也称为蠕虫感染，是人和其他动物一部分身体被寄生蠕虫感染导致的一种巨噬细胞疾病。这些寄生虫种类很多，大致分为绦虫、吸虫和线虫。它们通常生活在宿主的胃肠道中，但也可
伞菌纲伞菌纲（学名：Agaricomycetes）为真菌界担子菌门的一纲，除了蕈类，也包含了被分类在较早期旧式的分类腹菌纲和同担子菌亚纲中的多个物种。本分类粗略的将同担子菌亚纲（由Hibbett & Th
雷尼替丁雷尼替丁（Ranitidine、中华药典名：雷尼替定），常用商品名Zantac，是一种抑制胃酸产生的组胺类H2受体阻抗剂。它常用于治疗消化性溃疡（如胃溃疡和十二指肠溃疡）以及胃食管反流病。此外
雷帕霉素雷帕霉素（Rapamune），又名西罗莫司（Sirolimus），为大环内酯类化合物，现主要运用于肾移植的抗排异治疗。其通过抑制白细胞介素-2从而阻碍激活T细胞及B细胞来抑制免疫。其首次发现于复
比利时– 欧洲（绿色及深灰色）– 欧盟（绿色）布鲁塞尔b比利时王国（荷兰语：Koninkrijk België；法语：Royaume de Belgique；德语：Königreich Belgien；英语：Kingdom of Belgium），通称比利时，西欧国
StataStata是Statacorp于1985年开发出来的统计程序，在全球范围内被广泛应用于企业和学术机构中。许多使用者工作在研究领域，特别是在经济学、社会学、政治学及流行病学领域。最新的
Archive.isarchive.is（又名为archive.today）是一个私人资助的网页存档网站，数据中心位于欧洲法国的北部-加来海峡。这个网站典藏（英语：Web archiving）档案馆使用Apache Hadoop与Apache Acc
霾霾（英语：haze，又称雾霾、烟霾、烟霞等）是一种由固体颗粒形成的空气污染，其核心物质是空气中悬浮的灰尘颗粒，气象学上称为气溶胶颗粒。霾中含有数百种大气化学颗粒物质，它们在人们毫
芽孢杆菌芽孢杆菌纲（学名：Bacilli）是厚壁菌门的一纲，包含有芽孢杆菌目和乳杆菌目两目，其下包含有芽孢杆菌属和其他如李斯特菌属等革兰氏阳性菌。医学导航：病菌细菌（分类）gr+f／gr+a（t）／gr-p（c／gr-o
荷尔蒙激素（英语：hormone）也音译作荷尔蒙或贺尔蒙，在希腊文原意为“兴奋活动”。激素是指体内的某一细胞、腺体或者器官所产生的可以影响机体内其他细胞活动的化学物质。仅需很小剂量