離散數學 總結思路

命題邏輯:  複合命題：由簡單命題用聯結詞聯結 簡單命題：李文和李武是朋友（特） 除非 p 否則 q :  ~p -> q 雖然 q 還是 p : p^q 只有 p 才 q ：q -> p 不是命題：2x+3>0 (因爲無法判斷真假) 永真式 = 重言式 永假式 = 矛盾式 真值表法   一階邏輯: 前束範式: 否定內移, 換名, 轄域擴張 量詞只管轄後面第一個 集合的基本概念和運算: 冪集: 2

>>阅读原文<<