[离散数学练.docVIP

《离散数学》练习 福建农林大学东方学院 2009 ——2010 学年第一学期 第一篇 数理逻辑 一、填空题及单项选择题： 1、设解释为：客体城， 则 ， 。 2、公式的主析取范式为 。 3、下列命题等值式正确的是 【 】 （A）； （B）；（C）； （D）. 4、设命题公式，则是 【 】 （A）可满足的； （B）永真的； （C）永假的； （D）析取范式 5、前提与的有效结论是 【 】 （A）； （B）； （C）； （D）。. 二、解答题： 将下列命题符号化： 明天不下雨又有空的话，我就会去打球。 只要她生病了，我都会去看她（只有她生病了，我才会去看她）。 每个旅客或坐头等舱或坐二等舱。 有些汽车比任何火车都慢，但并非所有的汽车都比火车慢。 求公式的主合取范式和主析取范式，并求使取值为 真的所有指派。 练习第1页（共6页） 三、逻辑推理题 1、用演绎法证明：P→（Q→R），