离散数学·命题逻辑【命题】

命题与真值

例题

2x+3<5，其中x是任意实数。

“2x+3<5”不是命题（因为这个语句时真时假，真值不能确定，x是任意实数，有时候满足，有时候不满足）。但是“对于任意实数x，2x+3<5。”是命题

蕴含

实例

例题

可以从实现的这个角度出发：4>=3实现时，必有2>1，则易知答案。而2>1时，不一定有4>=3

这个(6)——除非否则就死记硬背吧，我理解起来比背还费力（除非——非）

等价

真值表

命题公式的分类

命题等值

说明

定律

吸收律，虽然易推导出来，但是真正运用时不一定能反应过来，还是记住比较好

零律和同一律中的F和T是false和true

假言易位——逆否命题

例子