【离散数学】命题逻辑

命题定义

定义： 能判断真假的陈述句，称为命题。一个命题可赋予一个真值。T or F。
如何判断一个句子是否为命题：

1、判断它是否为陈述句。
2、看它的真值是否唯一。其中注意真值是否唯一与我们是否知道它的真值是两回事。eg： x+y＞5，这是一个非命题。

简单命题，也叫原子命题，是不能再分成更简单的陈述句。
区分命题变元与命题常量，其中命题变元可表示任意命题，故而命题变元不是命题

联结词

按优先级顺序来看为
1、“非”
对命题取否
2、合取
取交集的意思，同“&”
3、析取
取并集的意思，同“|”
4、条件
如果……，则……一类关联词，
eg 爸爸去商店，则爸爸给你买糖
只有当爸爸去了商店却没买糖时该命题为F。
即对p->q；当p为T，q为F时命题为假；
5、双条件
对应当且仅当，当p<->q中p，q的真值一样时才为T。

命题公式与翻译

命题公式是没有确定真值的
仅当一个命题公式中的命题变元用确定的命题代入时 ，才能得到一个命题。
在翻译中我们需要先把自然语言抽象为原子命题，再将命题转化为逻辑一致得到命题逻辑

真值表与等价公式

对命题公式的分量进行所有可能的真值的指派得到公式对应的真值，将其列成表。