存在图

✍ dations ◷ 2025-11-24 17:01:38 #存在图

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

相关

化学疗法人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学化学疗法（英语：Chemotherapy），简称化疗（Che
甲状腺功能亢进甲状腺功能亢进症（Hyperthyroidism），又称甲状腺机能亢进症，简称甲状腺亢进、甲亢，是一种由于体内过量的三碘甲腺原氨酸（T3）和四碘甲腺原氨酸（T4，也即甲状腺素）造成的临床症状。而甲状
性激素结合球蛋白1d2s, 1f5f, 1kdk, 1kdm, 1lhn, 1lho, 1lhu, 1lhv, 1lhw· protein binding · lipid binding性激素结合球蛋白（英语：Sex hormone-binding globulin，亦称为性甾体结合球蛋白，简
高脂血症高脂血症（Hyperlipidemia，英式英文为 Hyperlipidaemia）又称高脂蛋白血症（Hyperlipoproteinemia），俗称血脂过高、高血脂，是指涉及血液任何或所有脂类以及又或脂蛋白异常升高水平的情
苹果公司1976年4月1日（43年338天）苹果公司（英语：Apple Inc.，NASDAQ：AAPL，原称苹果电脑公司（英语：Apple Computer, Inc.），是总部位于美国加州库比蒂诺的跨国科技公司。公司最初由史蒂夫·乔布斯
枯竭资源枯竭是一个经济学用语，指某一地区的天然资源被耗尽。自然资源通常分为可再生能源和不可再生能源。当某地方的人过度使用或以比其再生速度更快的速度消耗资源，并致使该地区
鹊鸲鹊鸲（学名：Copsychus saularis），又名猪屎渣、吱渣、信鸟或四喜，属鹟科鹊鸲属。分布于中国南部及南亚、东南亚国家。在印度它是一种观赏鸟，更是孟加拉国的国鸟。鹊鸲雄鸟体长19厘米
叶夫帕托里亚叶夫帕托里亚（乌克兰语：Євпаторія, 俄语：Евпатория, 克里米亚鞑靼语：Kezlev, 希腊语：Ευπατορία, Κερκινίτις - Eupatoria, Kerkinitis, 土
循环系统疾病心血管疾病（英语：cardiovascular disease，簡稱CVD）指的是关于心脏或血管的疾病，又称为循环系统疾病、循环系统疾病。常见的心血管疾病包括冠状动脉症候群、中风、高血压性心脏病（
玛雅文字玛雅文字是中部美洲前哥伦布时期玛雅文明的文字系统，也是目前唯一被基本破译的中部美洲文字（英语：中部美洲文字）。最早的玛雅文字记载可追溯至前3世纪瓜地马拉的圣巴特罗（英语：San