離散數(shù)學(xué)課程作業(yè)(2)-資料下載頁
2025-07-25 09:34本頁面
【正文】 式為恒真公式。（（P174。Q）217。（Q174。R））174。（P174。R） （（P218。Q）217。216。（216。P217。（216。Q218。216。R）））218。（216。P217。216。Q）218。（216。P217。216。R）2. 證明等價(jià)式。3. 利用形式演繹法證明：{P174。Q， R174。S，P218。R }蘊(yùn)涵Q218。S。4. 利用形式演繹法證明：蘊(yùn)涵Q。5 .判斷下面推理是否正確，并證明你的結(jié)論。如果小王是理科生，他的數(shù)學(xué)成績必好。如果小王不是文科生，他必為理科生。小王沒學(xué)好數(shù)學(xué)（即數(shù)學(xué)成績不好）。所以，小王是文科生。 （提示：先將命題符號(hào)化，再用形式演繹法推出正確與否。）6. 利用一階邏輯的基本等價(jià)式，證明：xy（F（x）174。G（y））=$xF（x）174。yG（y）6
環(huán)評(píng)公示相關(guān)推薦
鄂ICP備17016276號(hào)-1