存在图

✍ dations ◷ 2025-12-03 04:35:10 #存在图

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

相关

寄生虫病寄身虫疾病，是由于因寄生虫寄生后所引发的疾病，于卫生条件较差的地区较常发生，特别是热带地区。常见的寄生虫病包括蛔虫病、蛲虫病、疟疾。
神经眼科学人体解剖学 - 人体生理学组织学 - 胚胎学人体寄生虫学 - 免疫学病理学 - 病理生理学细胞学 - 营养学流行病学 - 药理学 - 毒理学神经眼科学(英语：Neuro-ophthalmology)
碱基核碱基（英语：Nucleobase）是指一类含氮碱基（nitrogenous base），在生物学上通常简单地称之碱基（base）。是在DNA和RNA中，起配对作用的部分。核碱基都是杂环化合物，其氮原子位于环上或取代
鼻子整形鼻外观整型手术（英文：Rhinoplasty）、又被称为隆鼻，是一种将鼻子的外观进行调整或重建的一种行为，主要诉求为使鼻子更加的美观，常用于解决一些因意外引发的鼻部外伤，或由于先天性缺
甲羟戊酸甲羟戊酸, 甲瓦龙酸（Mevalonic acid, MVA）是生物化学中甲羟戊酸途径的前体化合物，是胆固醇和众多类萜生物合成的中间体之一。呈油状，易溶于水和极性有机溶剂。溶液中容易内酯化，
腐生腐生是指从已死的或腐烂的动植物组织或其他有机物获得营养，以维持自身正常生活的一种方式。凡是以腐生方式取得营养的生物称为腐生生物。如大多数霉菌、酵母菌、细菌和放线菌
右旋兰索拉唑右旋兰索拉唑（dexlansoprazole、INN，商品名 Kapidex，Dexilant、右兰索拉唑、埃索美拉唑镁，中文商标名：得喜胃通 60毫克/缓释胶囊）是一种质子泵抑制剂（PPI）。由日本武田药品销售，可由
集落刺激因子集落刺激因子（CSF）是一类分泌型的糖蛋白，其与造血干细胞表面上的受体蛋白结合，从而激活细胞内信号传导途径，其可导致细胞增殖并分化成特定类型的血细胞（通常是白细胞，对于红细胞形
毛细管毛细现象（又称毛细管作用）是指液体在细管状物体内侧，由液体与物体之间的附着力和因内聚力而产生的表面张力组合而成，令液体在不需施加外力的情况下，流向细管状物体的现象，该现象甚
介词介词、介系词（英语：adposition）是语法中定义的一种词汇，用来描述字词之间的时间、空间或文法关系。可以区分为前置介词（简称前置词，preposition）、后置介词（postposition）和框式介词（c