存在图

✍ dations ◷ 2024-11-05 14:57:43 #存在图

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

相关

碳2s2 2p22, 4第一：1086.5 kJ·mol−1 第二：2352.6 kJ·mol−1 第三：4620.5 kJ·mol−1 （钻石六方主条目：碳的同位素碳（Carbon，拉丁文意为煤炭）是一种化学元素，符号为C，原子序数为6，
巴斯德研究院巴斯德研究院（法语：Institut Pasteur）总部位于巴黎，是法国的一个私立的非营利研究中心，致力于生物学、微生物学、疾病和疫苗的相关研究，其创建者路易·巴斯德于1885年研发出第一剂
肌肉组织肌肉组织（Muscle tissue）是组成动物身体肌肉的软组织，肌肉的收缩是透过肌肉组织进行的。这和肌肉中其他的组织（例如腱或肌束膜）相反。肌肉组织是在胚胎发育时借由肌发生（英语：myoge
心内膜心内膜（英语：endocardium）是位于心腔中的最深层的组织。其细胞在胚胎学与生物学观点上与位于血管的内皮细胞极为相似。
益康唑硝酸益康唑（英语：Econazole nitrate）是咪唑类抗真菌药物，被用来治疗足癣、花斑癣和股癣（Tinea cruris）等癣。药膏商品《Picosone》含有这种物质。
外科医生医学上，外科医师（Surgeon）是会进行手术的医师，除一般医师外，足科医生（英语：Podiatrist）、牙医师与兽医也会进行手术。历史上第一位记录手术的人是第六世纪的印度外科医生苏胥如塔（英
图尔战役估计15,000至20,000，其他估计有30,000至80,000。据阿拉伯史料，约400,000多人。估计20,000至25,000，其他估计上限为80,000，一般常见估计为50,000。110012,000图尔战役又称普瓦捷
唇颚裂唇裂与颚裂（英语：Cleft lip and cleft palate），常被合称为唇颚裂，是一系列包含唇裂（CL）、颚裂（CP）、或二者皆有的疾病（CLP）。唇颚裂常包含上颚裂到鼻腔，甚至裂到耳朵都有可能；裂口可能发
真骨附类真骨下纲（学名：Teleostei）或真骨部是辐鳍鱼纲的演化支之一。此一多样的类群诞生于三叠纪，有两万多个现存物种，分布在40个目之中。辐鳍鱼纲的另外两个演化支（全骨下纲和软质亚纲）是
角分符号؋ ₳ ฿ ₿ ₵ ¢ ₡ ₢（英语：Brazilian cruzeiro） $ ₫ ₯ ֏ ₠ € ƒ（英语：Florin sign） ₣ ₲ ₴（英语：Hryvnia sign） ₭ ₺