首页 >
存在图
✍ dations ◷ 2025-09-17 10:57:35 #存在图
存在图是查尔斯·皮尔士发明的逻辑表达式的一种图示或可视表示法。皮尔士在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.
相关
- 痰痰是指肺及支气管等鼻腔以下的呼吸管道的粘膜所产生的分泌物,用来将包含尘埃、病毒、过敏原等异物排出体外的黏液,也可能是因上呼吸道感染,而经由咳嗽及咳痰所吐出来的黏液。感
- 神经病学人体解剖学 - 人体生理学 组织学 - 胚胎学 人体寄生虫学 - 免疫学 病理学 - 病理生理学 细胞学 - 营养学 流行病学 - 药理学 - 毒理学神经内科(neurology)是医学的一个分支,专
- OrphanetOrphanet 是一个提供孤儿药物及罕见疾病信息的欧洲网站。该网站包含医生和病人等之信息。其行政办公室位于巴黎,其官方医学期刊(Medical journal)是由BioMed Central(英语:BioM
- 氟氯西林氟氯西林,英文名Flucloxacillin(INN), 又名氟氯苯甲异恶唑青霉素钠、氟氯青、氟氯青霉素钠、氟氯西林、氟沙星、奥佛林、氟氯苯唑青霉素钠。是一种半合成的耐青霉素酶的青霉素
- ICD-9编码列表 (460–519)医学导航: 呼吸系统解剖(n, x, l, c)/生理/发育病理(c, p)/先天/肿瘤, 症状/人名体征, 创伤手术, 药品(R1/2/3/5/6/7)
- 番红番红(也称作番红O或基本红2)是个用在组织学和细胞学的生物染色剂。番红在一些染色实验计划表中用作复染剂,将所有的细胞核染成红色。这在革兰氏染色和内孢子染色都是典型的复
- 取代基取代基是取代的无机或有机化合物中氢原子的基团,取代发生后,会形成新的化合物。不同的取代基会导致不同的效应,如诱导效应、共振效应、电子效应及立体效应等,从而使不同的化合物
- 氘.mw-parser-output ruby.zy{text-align:justify;text-justify:none}.mw-parser-output ruby.zy>rp{user-select:none}.mw-parser-output ruby.zy>rt{font-feature-settings:
- 汤飞凡汤飞凡(1897年7月23日-1958年9月30日),幼名瑞昭,湖南醴陵人,微生物学家,砂眼衣原体首次分离者。为第一个投身病毒学研究的华人。曾任中华医学会理事、中国国家菌种保藏委员会主任委
- 拟交感神经拟交感神经药,指与兴奋交感神经的效应相同的药物,也叫做拟交感药物。拟交感药的主要目的是兴奋肾上腺素受体。其中包括肾上腺素、去甲肾上腺素、麻黄碱及一些合成药如异丙肾上