第一章基础逻辑与证明-大叶大学.ppt

Discrete Mathematics ;1-1 Propositional Logic 命題邏輯;通常用小寫英文字母來表示命題，如p, q, r等 命題的真值(truth value)，也就是它的「真」或「假」，分別以 T, F 表示 接下來探討，如何從原有的數個命題，利用邏輯運算符號合成新的命題;Logical operators (邏輯運算子) and truth table (真值表);Table 2. The truth table for the Conjunction (and) (且) of two propositions eg. p : “Today is Friday.” q : “It’s raining today.” p ? q : “Today is Friday and it’s raining today.” ;Table 3. The truth table for the Disjunction (or) (或) of two propositions.