- 1、本文档共3页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
人之为学,不日进则日退,独学无友,则孤陋而难成;久处一方,则习染而不自觉。——《顾炎武》
选修之 1 常用逻辑用语
一、命题及其关系
1.命题
(1)用语言、符号或式子表达的,可以判断真假的陈述句叫做命题. 其中判断为真的
语句叫做真命题,判断为假的语句叫做假命题.
(2 )对于“若p ,则q ”形式的例题,p 叫做命题的条件,q 叫做命题的结论.
2. 四种命题
原命题:若p ,则q .
逆命题:若q ,则p .
(2 )如果q 成立时,p 一定成立,即q p ,则称p 是q 的必要条件;
(3 )如果既有p q ,又有q p ,则p 是q 的充分必要条件,简称充要条件.
1
谋事在人,成事在天!——《增广贤文》
常将有日思无日,莫待无时思有时。——《增广贤文》
三、简单的逻辑联结词
1.联结词及记号
逻辑联结词 记 号 意 义
且 p ∧q p 且 q
或 p ∨q p 或 q
非 p 非p
(2 )全称命题“对M 中任意一个x ,有p (x)成立”可用符号简记为
x M , p (x ) ,
读作“对任意 x 属于 M ,有p (x)成立”.
2.存在量词
(1)短语“存在一个”、“至少有一个”在逻辑中通常叫做存在量词,并用符号“ ”
表示.含有存在量词的命题,叫做特称命题.
注:常见的存在量词还有“有些”、“有一个”、“对某个”、“有的”等.
(2 )特称命题“存在M 中的一个x ,使p (x)成立”可用符号简记为
x M , p (x ) ,
读作“存在一个 x 属于 M ,使p (x)成立”.
2
人人好公,则天下太平;人人营私,则天下大乱。——刘鹗
吾日三省乎吾身。为人谋而不忠乎?与朋友交而不信乎?传不习乎?——《论语》
3.含有一个量词的命题的否定
(1)全称命题p : x M , p (x ).
否定p : x M ,p (x ).
(2 )特称命题p : x M , p (x ).
否定p : x M ,p (x ).
3
宠辱不惊,看庭前花开花落;去留无意,望天上云卷云舒。——《洪应明》
文档评论(0)