命题:
能判断真假的陈述句就是命题
命题的真值:真(T,1),假(F,0)
真命题,假命题,简单命题(原子命题),复合命题
eg,
北京是中国的首都。
真值为真
但注意有些真值是未知的
2x+4>=10
这种式子的直接硬翻成中文过来看就行了
命题联结词:
非:这个真打不出...(否定联结词)
并且: ^ (合取)
或: v (析取)
如果...则...: —> (蕴含)
这个判断这么说>>无缘由的瞎几把讲的都是真的,反正也是瞎说就无所谓了全是真的,但是要是条件为真的一板一眼的讲,那么结论就必须对才是真的,否则就是假的
当且仅当: <—>
这个也简单,要么一口胡话全是假话或者全是真话就都是真的,只要两句话有句不一样,对不上,那就是假的
运算优先级: 非,且,或,如果...则...,当且仅当
判断格式的类型:
重言式:公式真值恒为1(永真式)
矛盾式:————恒为0(永假式)
可满足式:不是矛盾式
解题方法:真值表法
这样
()
求成真赋值和成假赋值,看前面的p,q,r的值那些0,1记好就行了