3)反对称的 4)传递的 2.1.4命题逻辑 凡是能分辨其真假的语句都叫做命题。我们通 常采用小写字母p,q和表示命题。命题逻辑有着 和集合论相似的操作,表达式和标识。命题的真值 只有两种,T代表真,而F代表假。 命题公式的分类: ①如果命题公式A在任意的真值赋值函数t:U 0,1}下的真值t(A都为1,则称命题公式A为永真式 tautology)(或称重言式3）反对称的 4）传递的 2.1.4命题逻辑 凡是能分辨其真假的语句都叫做命题。我们通 常采用小写字母p，q和r表示命题。 命题逻辑有着 和集合论相似的操作，表达式和标识。命题的真值 只有两种，T代表真，而F代表假。 命题公式的分类： ①如果命题公式A在任意的真值赋值函数t : U® {0, 1}下的真值t(A)都为1,则称命题公式A为永真式 (tautology)（或称重言式）；