離散數(shù)學試卷三-資料下載頁
2025-08-26 11:54本頁面
【導讀】真值為0當且僅當。則命題的邏輯謂詞公式為。分不變，這種方法稱為換名規(guī)則。被稱為存在量詞消去規(guī)則，記為ES。A、明年中秋節(jié)的晚上是晴天；B、0??xy當且僅當x和y都大于0；D、我正在說謊。21,和B為wff，且BAAAn?????21為B的前件；B、稱B為nAAA?為重言式；B、**BA?A、1；B、0；C、可滿足式；D、無法判定。設(shè)論域D={a,b,c}，求證：))()(()()(xBxAxxxBxxA??????。
【正文】 PPPA ?????? 的類型。（ 10 分） 下列問題，若成立請證明，若不成立請舉出反例：（ 10 分） （ 1） 已知 CBCA ??? ，問 BA? 成立嗎？ （ 2） 已知 BA ??? ，問 BA? 成立嗎？ 如果廠方拒絕增加工資，那么罷工就不會停止，除非罷工超過一年并且工廠撤換了廠長。問：若廠方拒絕增加工資，面罷工剛開始，罷工是否能夠停止。（ 10 分） 四、計算 10% 設(shè)命題 A1， A2的真值為 1， A3， A4真值為 0，求命題 )()))((( 421321 AAAAAA ??????? 的真值。（ 5 分） 利用主析取范式，求公式 RP ???? )( 的類型。（ 5 分） 五、謂詞邏輯推理 15% 符號化語句：“有些人喜歡所有的花，但是人們不喜歡雜草，那么花不是雜草”。并推證其結(jié)論。 六、證明：（ 10%） 設(shè)論域 D={a , b , c}，求證： ))()(()()( xBxAxxxBxxA ?????? 。
公司管理相關(guān)推薦
鄂ICP備17016276號-1