存在量化
(重定向自∃)
在谓词逻辑中,存在量化是对论域内至少一个成员的性质或关系的论断。在符号逻辑中,存在量词「∃」是用来指示存在量化的符号。
它相对于声称某些谓词对所有事物都为真的全称量化。
基础编辑
要表达“某些自然数自乘得25”这个命题,一种方式是:
- ,或 ,或 ,或 ,以此类推。
因为使用了“或”一词,这看上去是逻辑析取。然而形式逻辑中的析取概念却不能表达出“以此类推”一词的含义,因此该命题并不能在形式逻辑中解读。
因此将该命题改述为
- 存在自然数 , 。
也可表达为
- 对于某些自然数 , 。
这便是一个使用存在量化的单一命题。该命题比原命题更精确,因为“以此类推”一词想表示的是要包括所有的自然数、且除此之外不包括任何其它内容,但语言中并没有明确地陈述这点,这便是“以此类推”一词不能被形式地解释的根本原因。
这个新命题为真,因为5是自然数,而当把5代入 时,可以得到 。尽管大多数自然数 都不满足 ,但存在至少一个解足以举证存在命题为真。反之,“存在偶数 , ”为假,因为一个偶数解也不存在。
然而,“存在奇数 , ”为真,因为5是奇数。这演示了论域的重要性——确定变量n的取值范围。限制存在量化的论域要使用逻辑合取。例如“存在奇数 , ”逻辑等价于“存在自然数 , 是奇数且 ”。这里的“且”构造出了逻辑合取。
在符号逻辑中,使用存在量词“∃”(反写的无衬线体的字母"E")来表示存在量化。所以如果 是谓词“ ”,而 则是自然数集,那么有
表示的是真命题“存在自然数 , ”。
类似的,如果 是谓词“ 是偶数”,那么有
表示的是假命题“存在自然数 , 是偶数且 ”。
引用编辑
- Hinman, P. Fundamentals of Mathematical Logic. A K Peters. 2005. ISBN 978-1-56881-262-5.
参见编辑
🔥 Top keywords: Baike: 首页Special:搜索2024年湯姆斯盃淚之女王九龍城寨之圍城歐倩怡郭晉安逆天奇案22024年優霸盃背着善宰跑不夠善良的我們金智媛余苑綺時代力量分裂危機春色寄情人貴婦奈奈台灣抗日運動金秀賢 (男演員)余天九龍寨城嫦娥六号习近平邊佑錫汤姆斯杯六四事件宁安如梦WIND BREAKER—防風少年—排球少年!!角色列表Seventeen (組合)笑看風雲ILLIT乘風2024排球少年!!五億高中生命案范浩揚劉緯民BABYMONSTER城市猎人 (2024年电影)破墓劉俊謙 (香港)中華民國與鳳行中华人民共和国朴成焄梅龍高速公路塌陷事故Energy (組合)支配物种城市猎人BOYNEXTDOOR承欢记白鹿 (演員)逆天奇案五四运动沒有秘密許瑋甯哥吉拉-1.0照明商店 (电影)IVE (組合)迷宮飯周處除三害 (電影)香港周雨彤母亲节金惠奫紀寶如葬送的芙莉蓮打天下2无用的谎言日本草榴社区P站国际劳动节怪獸8號杰伦·布伦森家族榮耀之繼承者鈴木亮平鄧麗君張文傑搜查班長1958福建號航空母艦(G)I-DLE李现李主儐幕府將軍 (2024年電視劇)張員瑛毛泽东星汉灿烂·月升沧海張韶涵三流之路澄碧邨中國國民黨五月天許冠英林依晨文化大革命關於我轉生變成史萊姆這檔事角色列表帝國浩劫:美國內戰三体 (小说)梅龙高速公路