离散数学(2)-1复习题.pdfVIP

离散数学（2）-1 复习题 一、判断： 1.任何两个重言式的合取或析取，仍然是一个重言式。T 2.一个重言式，对同一分量都用任何合式公式置换，其结果仍为一重言式。T 3.在真值表中，一个公式的真值为 F 的指派所对应的大项的合取，即为此公式的 主合取范式。T 4.在真值表中，一个公式的真值为 T 的指派所对应的小项的析取，即为此公式的 主析取范式。T 5.任何一个谓词公式，均和一个前束范式等价。T 6.每一个 wff A 都可转化为与其等价的前束合取范式。T 7. “计算机有空吗？”是命题。F 8. “x=3”是命题。F