1、離散數(shù)學(xué)習(xí)題 1-8,網(wǎng)工1102,本次作業(yè)為 P47 (2a,b,d,3a,b,d,4a,5a,c),AB，CB AC (矛盾法) 證明：(1) (AC) P附加前提 (2) ( A C ) T(1)E條件等值式 (3) AC T(1)E德摩根律 (4) A T(3)I化簡(jiǎn)律 (5) C T(3)I化簡(jiǎn)律 (6) AB 。

2、第一章 命題邏輯習(xí)題1.11解 不是陳述句,所以不是命題. x取值不確定,所以不是命題. 問(wèn)句,不是陳述句,所以不是命題. 驚嘆句,不是陳述句,所以不是命題. 是命題,真值由具體情況確定. 是命題,真值由具體情況確定. 是真命題. 是悖論。

3、離散數(shù)學(xué)習(xí)題解97習(xí)題一1.1略1.2略1.3略1.4略1.5略1.6略1.7略1.8略1.9略1.10略1.11略1.12將下列 命題符號(hào)化, 并給出各命題的 真值:1224 當(dāng)且僅當(dāng) 336. 2224 的充要條件是 336. 3224。