- 1、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
离散数学第一章知识点总结(仅供参考) 1.判断给定的句子是否为命题的基本步骤:首先应是陈述句;其次要有唯一的真值。 例:(1)我正在说谎。 不是命题。因为无法判定其真假值,若假设它为假即我正在说谎,则意味着它的反为真,即我正在说实话,二者相矛盾;若假定它为真即我正在说实话,则意味着它的反为假,我正在说谎,二者也相矛盾。这其实是一个语义上的悖论。悖论不是命题 (2)x-y?>2。 不是命题。因为x, y的值不确定,某些x, y使x?y>2为真,某些x, y使x?y>2为假,即x?y>2的真假随x, y的值的变化而变化。因此x?y>2的真假无法确定,所以x?y>2不是命题。 2.命题可以分为两种类型:原子命题(不能再分解为更简单命题,又可称为简单命题); 复合命题(通过联结词、标点符号将原子命题联结而成的命题) 命题常元:一个命题标识符如果表示确定的简单命题,就称为命题常元 命题变元:如果一个命题标识符只表示任意简单命题的位置标志,就称它为命题变元 注:当命题变元P用一个特定的简单命题取代时,P才能确定真值,这时也称对P进行指派 4.联接词:(1)否定联接词:﹁假为真,真为假;还可以用“非”、“不”、“没 有”、“无”、 “并不”等多种方式表示否定 (2)合取联接词:∧一个为假就为假还可用“并且”、“同时”、“以及”、“既…… 又……”、“不但……而且……”、“虽然……但是……”等多种方 式表达合取 (3)析取联接词:∨一个为真就为真;一般用或表示 注:联结词∨是可兼或,因为当命题P和Q的真值都为真时, 其值也为真。但自然语言中的“或”既可以是“排斥或?” 也可以是“可兼或?”。 例1.6 晚上我们去教室学习或去电影院看电影。(排斥或) 例1.7 他可能数学考了100分或英语考了100分。(可兼或) 例1.8 刘静今天跑了200米或300米远。(既不表示“可兼或” 也不表示“排斥或”,它只是表示刘静所跑的大概路程, 因此它不是命题联结词,故例1.8是原子命题。) (4)蕴涵联结词: ? 前真后假才为假;还可以用当……则……、因为……所 以……、仅当、只有……才……、除非……才……、除非……、 否则非 ……表示 (5)等价联接词:? 同真同假才为真;还可以用当且仅当、充分必要表示 5.命题公式:1)单个命题变元是合式公式,并简称为原子命题公式; 2)如果A是合式公式,那么(﹁A)也是合式公式; 3)如果A, B都是合式公式,那么(A∧B ), (A∨B ), (A?B ), (A B )都是合式 公式; 4)当且仅当有限次地应用1), 2), 3)所得到的包含命题变元、联结词和括号的字 符串是合式公式。 根据定义1.6可知,P, (﹁P ), (P ? (P∨Q )), ((﹁P∧Q )∧P ), ((P ? Q ) ?R ) 都是命题公式。而 (∨P ), (P ?Q, (P ∨Q ) ? R )都不是命题公式。 n元命题公式:一个命题公式中总共包含有n个不同的命题变元 1)若公式A是单个的命题变元,则称A为0层公式。 2)称A是n+1(n≥0)层公式是指下面情况之一: (1)A=﹁B, B是n层公式; (2)A=B∧C,其中B, C分别为i层和j层公式,且n=max(i,j); (3)A=B∨C,其中B, C的层次同(2); (4)A=B?C,其中B, C的层次同(2); (5)A=B?C,其中B, C的层次
有哪些信誉好的足球投注网站
文档评论(0)