简单命题:不含逻辑联结词的命题;复合命题:由简单命题与逻辑联结词构成的命题;复合命题的形式:p或q(p∨q),p且q(p∧q),非p(¬p),非q(¬q)
对简单命题p和q,用逻辑联结词连接构成复合命题。
①或:p∨q,读作“p或q”
②且:p∧q,读作“p且q”
③非:¬p,¬q,读作“非p,非q”
④¬(p∨q)=(¬p)∧(¬q);¬(p∧q)=(¬p)∨(¬q)
⑤真值表
⑥判断复合命题“p∨q”和“p∧q”的真假时,可参考真值表的逻辑进行判断。首先需对p和q的真假做出准确的判断,才能进行后面的复合命题的判断。