離散數學——第一章 數理邏輯

文章目錄 第一章 邏輯與證明 1.1.前言 1.1.1.本章概述 1.2.命題邏輯(Propositional Logic) 1.2.1.命題及其表示法 1.2.2.聯結詞（Connectives、Logical Operator） 條件語句 雙條件 聯結詞優先級（Precedence of Logical Operators ） 1.2.3.真值表與等價命題 1.2.4.邏輯等價式 1.3.謂詞

>>阅读原文<<