离散数学练习()解答.docVIP

《离散数学》练习解答 福建农林大学东方学院 2009 ——2010 学年第二学期 第一篇 数理逻辑 二、解答题： 将下列命题符号化： 明天不下雨又有空的话，我就会去打球。 只要她生病了，我都会去看她（只有她生病了，我才会去看她）。 每个旅客或坐头等舱或坐二等舱。 有些汽车比任何火车都慢，但并非所有的汽车都比火车慢。 解 （1） 设：明天不下雨；：明天我有空；：明天我去打球。则该命题可符号化为 。 （2）设 ：她生病；：我去看她。则该命题可符号化为 。 （3）设 是旅客；坐；是头等舱位；是二等 舱位。则该命题可符号化为 。 （4）设 是汽车；是火车；比慢。则该命题可 符号化为 求公式的主合取范式和主析取范式，并求使取值为 真的所有指派。 解：的主析取范式： 练习解答第1页（共9页） 所以的主合取范式为 使取值为真的所有指派为： 注意：若没有要求用等值演算，也可采用真值表求。 三、逻辑推理题 1、用演绎法证明：P→（Q→R），SP，Q, R├S. （应注明每一步推理所采用的推理规则）。 证明：（1） （假设，否定结论引入） （2） （（1）置换，T规则） （3） （前提，P规则） （4） （（2