首页 >
存在图
✍ dations ◷ 2025-11-25 08:15:59 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.
相关
- 胸腔外科学胸腔外科学或称心胸肺外科（英语：Cardiothoracic Surgery），是一门医学专科，专门研究胸腔内器官，包括心脏、肺、气道与呼吸系统、胸壁、纵隔、膈肌和食道等，以及这些器官与部位的诊断
- 净迁移率这是一个关于各国净迁移率的列表，数据基于中情局的《世界概况》。正值代表净迁入，负值代表人口净迁出。
- 妥布霉素Neonates < 1200 g: 11 hrs; > 1200 g 2-9 hrs Adults: 2-3 hours; longer with impaired renal function妥布霉素（Tobramycin）也叫托普霉素，是一种氨基糖苷类抗生素，能用于治
- 生物多样性生物多样性（biodiversity）是生命变化的程度。这可以是指在一个区域、生物群丛或行星范围之内的基因变化、物种变化或生态系统变化。陆地生物多样性在靠近赤道的低纬度地区往往
- 甲甲癣（onychomycosis），俗称臭甲、灰指甲，泛指受到真菌感染的指甲，通常影响脚趾，但手指甲也有可能出现。两成指甲病是由甲癣所引起。甲癣的成因是真菌感染，主要细为分酵母菌感染、霉
- 丙酸杆菌属等丙酸杆菌属（学名Propionibacterium）是一类革兰氏阳性菌。
- 经验经验（英语：Experience）在一般概念包括了知识、技巧。是体验或观察某一事或某一事件后所获得的心得并应用于后续作业。而这些以前获取的知识技巧，对于工作或教授学问上，掌握相当重
- 静脉曲张静脉曲张（英语：Varicose veins）是不正常扩张的静脉。它的英文是源自拉丁文varix。静脉曲张的类型包括：患有下肢静脉曲张者的小腿静脉会明显凸出，甚至出现不雅观的膨胀和扭曲。静
- 汉音陶文 ‧ 甲骨文 ‧ 金文 ‧ 古文 ‧ 石鼓文籀文 ‧ 鸟虫书 ‧ 篆书（大篆 ‧ 小篆）隶书 ‧ 楷书 ‧ 行书 ‧ 草书漆书 ‧ 书法 ‧ 飞白书笔画 ‧
- 悖论悖论（英语：Paradox），亦称为佯谬或诡局，是指一种导致矛盾的命题。通常从逻辑上无法判断正确或错误称为悖论，似非而是称为佯谬；有时候违背直觉的正确论断也称为悖论。悖论的英文parad
