![](https://img-blog.csdnimg.cn/20201014180756928.png?x-oss-process=image/resize,m_fixed,h_64,w_64)
课程
文章平均质量分 86
.弗兰克
这个作者很懒,什么都没留下…
展开
-
数学符号大全
→ ⇒ ⨁ ∘ ∀ ∃∈ ⊆ ⋂ ⋃ ⋀ ⋁ Ø原创 2022-10-08 11:32:52 · 582 阅读 · 0 评论 -
第五章 关系
令A为某大学所有学生的集合,B表示该大学开设的所有课程的集合,则AxB可表示该校学生选课的所有可能情况.而真正的选课情况则会是AxB的某一个子集令F为某地所有父亲的集合,S表示该地所有儿子的集合,则FXS可表示父子关系的所有可能情况,而真正的父子关系则会是FxS的某一个子集设A,B为两个非空集合,称AxB的任意子集R为从A到B的一个二元关系,简称关系其中 A称为关系R的前域, B称关系R的后域,如果A=B,则称R为A上的一个二元关系设R是从A到B的二元关系, 则A为关系R的前域, B为关系R的后域.原创 2022-10-02 23:46:13 · 4647 阅读 · 0 评论 -
第四章-集合
集合是由指定范围内的满足给定条件的所有对象聚集在一起构成,每一个对象称为这个集合的元素外延公理+空集存在公理+无序对公理+并集公理+幂集公理+无穷公理+替换公理+正则公理+选择公理(ZFC公理化集合论),注:C代表的是选择公理。原创 2022-09-27 23:45:04 · 374 阅读 · 0 评论 -
第二章范式
蕴含式是逻辑推理的重要工具设A和B是命题公式,若A→B是重言式,则称A蕴含B,记作A => B定理1.公式H是前提集合F={G1,G2,G3…Gn}的逻辑结果当且仅当(G1∧G2∧G3…∧Gn) → H为永真公式永真证明方法{1.真值表证明法(所有真值结果为真,则为永真公式)2.公式转换法证明法:结果为真(通过公式转换,结果为真,则为永真公式)3.主析取范式证明法(将公式转化成主析取范式,其主析取范式包含所有极小项,又因极小项值都是真,所以主析取范式结果为真)}原创 2022-09-21 13:19:05 · 7962 阅读 · 0 评论 -
第一章学习
eg: 小王今天去李四家喝茶(这满足陈述句,能判断真假,所以是个命题) ,设P:小王今天去李四家喝茶 ,问: P是个命题(V)设P:小王在家做试卷,算出X+5=7 ,问: P是个命题(V/X)(因为X不是确定值,若X不是2,则这是个假命题)eg: 小王在家做试卷,算出X+5=7(这满足陈述句,能判断真假,所以是个命题)解释:若某命题P是变化的,则是命题变元,若命题中不存在不确定因素,则是命题常项。设A和B是命题公式,若A→B是重言式,则称A蕴含B,记作A => B。有n个命题变元,则应有2。原创 2022-09-13 23:45:32 · 360 阅读 · 0 评论