命题中除了主词、谓词、联词以外,还有量词。命题的量词,表示的是主词数量的概念。在谓词逻辑中,量词被分为两类:一类是全称量词,另一类是存在量词。

全称量词:如“所有”、“任何”、“一切”等。其表达的逻辑为:“对宇宙间的所有事物x来说,x都是F。”例句:“所有的鱼都会游泳。”

存在量词:如“有”、“有的”、“有些”等。其表达的逻辑为:“宇宙间至少有一个事物x,x是F。”例句:“有的工程师是工人出身。”

含有量词的命题通常包括单称命题、特称命题和全称命题三种。

单称命题:其公式为“(这个)S是P”。例句:“这件事是我经办的。”单称命题表示个体,一般不需要量词标志,有时会用“这个”“某个”等。在三段论中是作为全称命题来处理的。

全称命题:其公式为“所有S是P”。例句:“所有产品都是一等品”。全称命题,可以用全称量词,也可以用“都”等副词、“人人”等主语重复的形式来表达,甚至有时可以没有任何的量词标志,如“人类是有智慧的。”

特称命题:其公式为“有的S是P”。例句:“大多数学生星期天休息”。特称命题使用存在量词,如“有些”、“很少”等,也可以用“基本上”、“一般”、“只是有些”等。含有存在性量词的命题也称存在性命题。

问题3:判断下列命题是全称命题,还是存在性命题?

(1)方程2x=5只有一解;

(2)凡是质数都是奇数;

(3)方程2x2+1=0有实数根;

(4)没有一个无理数不是实数;

(5)如果两直线不相交,则这两条直线平行;

(6)集合A∩B是集合A的子集;

分析:(1)存在性命题;(2)全称命题;(3)存在性命题;(4)全称命题;(5)全称命题;(6)全称命题;

 0  365333  365341  365347  365351  365357  365359  365363  365369  365371  365377  365383  365387  365389  365393  365399  365401  365407  365411  365413  365417  365419  365423  365425  365427  365428  365429  365431  365432  365433  365435  365437  365441  365443  365447  365449  365453  365459  365461  365467  365471  365473  365477  365483  365489  365491  365497  365501  365503  365509  365513  365519  365527  447090 

违法和不良信息举报电话:027-86699610 举报邮箱:58377363@163.com

精英家教网