一、逻辑联结词 1.“或”“且”“非”这些词叫做逻辑联结词;不含有逻辑联结词的命题是简单命题;由简单命题和逻辑联结词“或”“且”“非”构成的命题是复合命题。构成复合命题的形式:p或q(记作p∪q);p且q(记作p∩q);非p(记作?劭p)。 逻辑联结词“或”可以与集合中的“并”相联系,CU(A∪B)=CUA∩CUB。 逻辑联结词“且”可以与集合中的“交”相联系,CU(A∩B)=CUA∪CUB。 逻辑联结词“非”可以与集合中的“补”相联系,CUA={x|x∈U,且x?埸A}。 2.“或”“且”“非”的真值判断 (1)“非p”形式复合命题的真假与p的真假相反; (2)“p且q”形式复合命题当p与q同为真时为真,其他情况时为假; (3)“p或q”形式复合命题当p与q同为假时为假,其他情况时为真。 二、命题 1.定义:可以判断真假的语句叫做命题。 若一个命题是正确的,该命题叫真命题;若一个命题不正确,该命题叫假命题。由命题的概念,一个命题不是真命题就是假命题。 2.命题的四种形式与相互关系 (1)原命题:若p则q; (2)逆命题:若q则p; (3)否命题:若?劭p则?劭q; (4)逆否命题:若?劭q则?劭p; 原命题与逆否命题互为逆否命题,同真假; 逆命题与否命题互为逆否命题,同真假。 ……