命题逻辑（一）

一、定义

命题的定义：具有确切真值的陈述句。

二、命题判定的关键点（题型一）

1·所有的非陈述句（感叹句，疑问句，祈使句，命令句等）都不是命题。

2·有歧义的也不是命题，如“我正在说谎”，“这句话是假的”。

3·命题不一定要知道真值是什么，而是知道具有唯一的真值。

4·带有x,y,z等变量的句子则需要认真区分，如“x>3不是命题。但对x有了合理的限制，则可能成为命题，如“对任意实数x，均有x>3”或“存在实数x，使得x>3”均为真命题。

三·复合命题

即命题+命题组成的可分解的命题

四、命题联结词

五、命题符号化（题型二）

合取：边…边…；虽然…但是…

蕴含：如果…就；…仅当…；除非…否则…

六、命题公式及其真值（题型三）

可以根据真值表判断

七、公式的分类和等价（题型四）

1·永真式（重言式）：公式在所有可能的解释下都为真。

2·永假式（矛盾式）：公式在所有可能的解释下都为假

3·可满足式：至少有一种解释使得公式为真。

两个公式等价：两个公式在所有解释下真值相同。

解决公式类型和等价判定问题最简单的办法：真值表法。

等值演算法