- 博客(2)
- 收藏
- 关注
原创 【总结】离散数学*集合论(集合+关系)
结点+线若把一个集合A分成若干个叫做分块的非空子集,使得A中的每个元素至少属于一个分块,那么这些分块的全体构成的集合叫做A的一个覆盖。如果A中的每个元素属于且仅属于一个分块,那么这些分块的全体构成的集合叫做A的一个划分。覆盖:每个元素都要至少出现一次。划分:不能重复出现。
2024-05-27 22:51:05
676
原创 【总结】离散数学*数理逻辑
举个例子看看吧,以下这两个很多初学者容易搞混。{┐,∨},{┐,∧} 是 最小联结词组。 补充:关于“除非”式提问。可以把句意先转换一下,把除非转化成别的意思。eg. 除非你给我钱,否则我就不干活。P:你给我钱Q:我干活(1)【非P→非Q】如果你不给我钱,我就不干活。(2)【Q→P】我干活是因为你给我钱。也叫命题公式,简称公式。【列真值表】永真公式最后一列全是T。 【等价公式变换】1.【前真推后真】2.【后假推前假】❗️注意:(a)析取范式(b)合取范式 1.直接推理 2.间接推理[1]条件论证附
2024-04-18 19:09:02
637
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人