简单的逻辑连接词
①逻辑联结词 “或”、“且”、“非”,这些词叫做逻辑联结词(logical connectives)。 且:一般地,用联结词“且”把命题p和命题q联结起来,就得到一个新命题,记作,读作“p且q”. 或:一般地,用联结词“或”把命题p和命题q联结起来,就得到一个新命题,记作,读作“p或q”. 非:一般地,对一个命题p全盘否定,就得到一个新命题,记作,读作“非p”或“p的否定”。 不含逻辑联结词的命题是简单命题;由简单命题与逻辑联结词构成的命题可称为复合命题。 ②含逻辑联结词的命题构成形式
③“或”、“且”、“非”形式命题的真假性 Ⅰ、非形式命题的真假性:
Ⅱ、且形式命题的真假性:
Ⅲ、或形式命题的真假性:
④判断“或”、“且”、“非”形式命题真假的步骤 Ⅰ、确定命题构成的形式; Ⅱ、判断各简单命题的真假; Ⅲ、利用真值表判断构成命题的真假。
|