離散數(shù)學(xué)作業(yè)7最終-資料下載頁
2025-08-23 11:50本頁面
【正文】 謂詞公式y(tǒng)$xP(x,y)消去量詞后的等值式；解：五、證明題 1．試證明 (P174。(Q218。216。R))217。216。P217。Q與216。 (P218。216。Q)等價．證：(P174。(Q218。216。R))217。216。P217。Q219。(216。P218。(Q218。216。R))217。216。P217。Q 219。(216。P218。Q218。216。R)217。216。P217。Q 219。(216。P217。216。P217。Q)218。(Q217。216。P217。Q)218。(216。R217。216。P217。Q) 219。(216。P217。Q)218。(216。P217。Q)218。(216。P217。Q217。216。R) 219。216。P217。Q （吸收律） 219。216。(P218。216。Q) （摩根律）2．試證明($x)(P(x) 217。R(x))222。($x)P(x) 217。 ($x)R(x)．課本第 212頁例4。7
研究報告相關(guān)推薦
鄂ICP備17016276號-1