命题中除了主词.谓词.联词以外.还有量词.命题的量词.表示的是主词数量的概念.在谓词逻辑中.量词被分为两类:一类是全称量词.另一类是存在量词. 全称量词:如“所有 .“任何 .“一切 等.其表达的逻辑为:“对宇宙间的所有事物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的子集, 分析:全称命题,全称命题,全称命题, 查看更多

 

题目列表(包括答案和解析)


同步练习册答案