逻辑用语或与且符号

逻辑用语或与且符号

简单命题:不含逻辑联结词的命题;复合命题:由简单命题与逻辑联结词构成的命题;复合命题的形式: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的真假做出准确的判断,才能进行后面的复合命题的判断。