《应用离散数学》方景龙版-2.3 谓词公式的等价演算与范式

《《应用离散数学》方景龙版-2.3 谓词公式的等价演算与范式》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、§2.3谓词公式的等价演算与范式习题2.31.将下列命题符号化，要求用两种不同的等价形式。（1）没有小于负数的正数。（2）相等的两个角未必都是对顶角。解略2.利用非形式化方法证明下列等价式。（1）（2）（3）（4）（5）解略3.设、和都是谓词，证明下列各等价式（1）（2）（3）（4）证明：（1）左边＝＝右边（2）左边＝＝右边（3）左边＝＝右边（4）左边＝＝＝＝＝右边4.求下列谓词公式的前束析取范式和前束合取范式。（1）（2）（3）（4）解略5.将下列命题符号化，要求符号化的公式为前束范式。（1）有的汽车比有的火车跑的快。（2）有的火

2、车比所有的汽车跑的快。（3）说“所有的火车比所有的汽车都跑的快”是不对的。（4）说“有的飞机比有的汽车慢”是不对的。解本题没有指明个体域，我们这里采用全总个体域。设一元谓词是汽车，是火车，是飞机，二元谓词比跑得快。这4个命题可分别符号化为