离散数学笔记
文章平均质量分 60
离散数学
沃·夏澈德
今天的明天是后天的昨天。----茨鲍勒·程德
展开
-
离散数学学习笔记----集合代数
集合代数对任何集合A,都有。对于任何集合A,都有。空集是一切集合的子集。对于n元集A,子集总数为。A的幂集表示为P(A),指A的全体子集构成的集合。,A与B的对称差集。其实就是。包含排斥原理:设S为有穷集,是n个性质。S种任何元素x或者具有性质,或者不具有,两种情况必居其一。令表示S中具有性质的元素构成的子集,则S中不具有性质的元素个数为:集合恒等式...原创 2021-04-01 19:56:24 · 5007 阅读 · 0 评论 -
离散数学学习笔记----一阶逻辑等值演算与推理
一阶逻辑等值演算与推理一阶逻辑中的基本等值式:第一组:16组等值式给出的代换实例都是一阶逻辑的等值式。第二组:量词否等等值式¬∀xA(x)⇔∃x¬A(x)\neg \forall xA(x) \Leftrightarrow \exists x \neg A(x)¬∀xA(x)⇔∃x¬A(x)¬∃xA(x)⇔∀x¬A(x)\neg \exists xA(x) \Leftrightarrow \forall x \neg A(x)¬∃xA(x)⇔∀x¬A(x)量词辖域收缩域扩张等值式:∀x(A(原创 2021-03-26 12:14:57 · 2516 阅读 · 1 评论 -
离散数学学习笔记----一阶逻辑基本概念
一阶逻辑基本概念一些笔记:重言式的代换实例都是永真式,矛盾式的代换都是矛盾式。对公式中的个体域及个体常项、函数符号、谓词符号的指定称作解释,指定自由出现的个体变项的值称为赋值。注意解题格式。以下给出书上几道例题。用0元谓词将下列命题符号化:只有2是偶数,4才是偶数。解:F(4)→F(2)F(4) \rightarrow F(2)F(4)→F(2),其中F(x):x为偶数。在一阶逻辑中将下列命题符号化:有的实数是无理数,有的实数是有理数。解:∃x(F(x)∧G(x))∧∃y(F(y)∧H(y原创 2021-03-25 17:02:12 · 2279 阅读 · 0 评论 -
离散数学学习笔记----命题逻辑的推理理论
命题逻辑的推理理论一些笔记:判断推理是否正确,就是判断是否会出现1推出0的情况,如出现则推理错误,否则正确。命题公式A1,A2,...,AkA_1,A_2,...,A_kA1,A2,...,Ak推出B的推理正确当且仅当A1∧A2∧...,∧Ak→BA_1 \wedge A_2 \wedge...,\wedge A_k \rightarrow BA1∧A2∧...,∧Ak→B为永真式。判断推理是否正确的暴力方法,真值表法。9条推理定律附加律A⇒(A∨B)A \Rightarrow原创 2021-03-24 17:11:17 · 5601 阅读 · 0 评论 -
离散数学学习笔记----命题逻辑等值演算
命题逻辑等值演算等值式暴力方法1:判断两个公式A与B是否等职的方法,最直接就是用真值表法判断$A\leftrightarrow B $是否为重言式。16组常用的重要等值式模式:双重否定律A⇔¬¬AA \Leftrightarrow \neg \neg AA⇔¬¬A幂等律A⇔A∨AA \Leftrightarrow A \vee AA⇔A∨A,A⇔A∧AA \Leftrightarrow A \wedge AA⇔A∧A交换律A∨B⇔B∨AA \vee B \Leftrightarrow原创 2021-03-22 21:42:46 · 3908 阅读 · 2 评论 -
离散数学学习笔记----命题逻辑的基本概念
参考书目《离散数学》屈婉玲重要概念:命题:非真即假的陈述句。笔记:悖论不是命题,如:我正在说假话。例题1.4(2):将下列命题符号化:张晓静只能挑选202或203房间。解:p:张晓静挑选202房间。 q:张晓静挑选203房间。由题意知:这个或为排斥或,这个女人不可能同时挑选202或203房间。因此符号化为:.ps:还有种叫 相容或。如:张晓静喜欢听歌或看电影。就可以直接 张晓静喜欢听歌 V 张晓静喜欢看电影。,当p为0时,q为0获1,命题...原创 2021-03-21 12:56:32 · 750 阅读 · 0 评论