命題邏輯復(fù)習(xí)題和答案(編輯修改稿)
2024-09-01 05:51 本頁面
【文章內(nèi)容簡介】 五、證明題（每題10分）證明下列邏輯恒等式：.證明 ： 左右.（用真值表也可證明）證明下列邏輯恒等式： .證明：左右.（用真值表也可證明）證明下列邏輯恒等式：.證明：左 .（用真值表也可證明）用邏輯推理規(guī)則證明： ， ， . 證明:(1) (2) (3) (1),(2) (析取三段論)(4) (5) (3)，(4) (拒取式)(6) (5) () .用邏輯推理規(guī)則證明： .證明: (1) (2) (3) (1),(2) (前提三段論)(4) (3) (逆反律)(5) (6) (5) (蘊(yùn)含表達(dá)式)(7) (4)，(6) (前提三段論) .用邏輯推理規(guī)則證明：， ，. 證明: (1) (2) (3) (1),(2) (析取三段論)(4) (5) (3)，(4) (拒取式)(6) (7) (5)，(6) (析取三段論) .用邏輯推理規(guī)則證明：， . 證明: (1) (2) (3) (1),(2) (析取三段論)(4) (1) (加法式)(5) (6) (4)，(5) (拒取式)(7) (3)，(6) (合取式)(8) (7) (等值表達(dá)式) .用邏輯推理規(guī)則證明： .證明: (1) (2) (3) (1),(2) (析取三段論)(4) (5) (3)，(4) (假言推理)(6) (5)（簡化式）(7) .用邏輯推理規(guī)則證明：證明：(1) (附加前提)(2) (1)（簡化式）(3) (2)（加法式）(4) (5) (3),(4)（假言推理）(6) .用邏輯推理規(guī)則證明：.證明：（1） (附加前提)(2) (3) (1)，(2) (析取三段論)（4） (5) (3)，(4) (析取三段論)(6) (7) (5)，(6) （假言推理） (8) .1用邏輯推理規(guī)則證明：， . 證明：（1）
教學(xué)教案相關(guān)推薦
鄂ICP備17016276號-1