离散数学个人复习笔记1——数理逻辑

命题:

能判断真假陈述句就是命题

命题的真值:真(T,1),假(F,0)

真命题,假命题,简单命题(原子命题),复合命题

eg,

北京是中国的首都。

真值为真

但注意有些真值是未知的

2x+4>=10

这种式子的直接硬翻成中文过来看就行了

命题联结词:

非:这个真打不出...(否定联结词)

并且: ^  (合取)

或: v (析取)

如果...则...: —> (蕴含)

这个判断这么说>>无缘由的瞎几把讲的都是真的,反正也是瞎说就无所谓了全是真的,但是要是条件为真的一板一眼的讲,那么结论就必须对才是真的,否则就是假的

当且仅当: <—> 

这个也简单,要么一口胡话全是假话或者全是真话就都是真的,只要两句话有句不一样,对不上,那就是假的



运算优先级: 非,且,或,如果...则...,当且仅当

判断格式的类型:

重言式:公式真值恒为1(永真式)

矛盾式:————恒为0(永假式)

可满足式:不是矛盾式

解题方法:真值表法

这样

()

求成真赋值和成假赋值,看前面的p,q,r的值那些0,1记好就行了

©著作权归作者所有,转载或内容合作请联系作者
平台声明:文章内容(如有图片或视频亦包括在内)由作者上传并发布,文章内容仅代表作者本人观点,简书系信息发布平台,仅提供信息存储服务。