存在图

✍ dations ◷ 2025-11-23 12:18:33 #存在图

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

相关

性类固醇性类固醇（英语：Sex steroid，亦称为性甾体）是指一类与脊椎动物雄激素或雌激素受体相互作用的类固醇激素。他们的效应是由两种方式进行的：第一种是经核受体进行的慢性染色体组机制，
宗教宗教是美国文化中非常显著的一部分。与欧洲基督信仰衰落的情况不同，在美国，基督宗教作为第一大宗教，一直占有主流的社会地位。现在七成以上的美国人信仰基督宗教（包括新教、天主
生活方式社会学中，生活型态（或生活风格、生活方式）是一个人（或团体）生活的方式。这包括了社会关系模式、消费模式、娱乐模式和穿着模式。生活型态通常也反映了一个人的态度、价值观或世界
农业政策农业政策（英语：Agricultural policy）指与本地农业和进口外地农产品相关的一系列法律。政府实行农业政策通常是为了在本地农产市场达到特定的目标，例如保证供应水平、价格稳定、
启示录《启示录》（希腊语：ΑΠΟΚΑΛΥΨΙΣ ΙΩΑΝΝΟΥ；天主教《思高圣经》汉译作《若望默示录》；东正教译作《约安之启示录》；唐朝景教译作《启真经》），东正教汉译作《约安之启
南荷兰省南荷兰（荷兰语: Zuid-Holland 帮助·信息）是荷兰的一个省，省会城市是海牙。南荷兰省位于该国的西部，西临北海，与之毗邻的省份有北荷兰省、西兰省、乌特勒支省、北布拉班特省和
尤因氏肉瘤尤文氏肉瘤（英语:Ewing's sarcoma）又称为尤因肉瘤、未分化网状细胞瘤。原于骨髓内的原始细胞,是常见骨的恶性肿瘤。系美国的病理学家詹姆斯·尤因（James Ewing）于1921年首先报道
遗传性出血性血管扩张症遗传性出血性血管扩张症是一种遗传病，其会导致各种黏膜、内脏血管病变，由此导致各种出血。大部分患者会出现鼻、脑、肺及胃、肠出血。此遗传病10万分之1，主要发生于白人。遗传
生物战生化武器，旧称细菌武器，是指用来杀伤人员、牲畜和毁坏农作物的致病性微生物及其毒素，依赖生物与生物之间的克制对有生力量发挥杀伤作用。生物武器的施放装置包括炮弹、炸弹、火
海牙海牙（荷兰语：Den Haag；.mw-parser-output .IPA{font-family:"Charis SIL","Doulos SIL","Linux Libertine","Segoe UI","Lucida Sans Unicode","Code2000","Gentium","Gentium