第一天__命題邏輯和證明

命題邏輯和證明 1.1命題 1.1.1命題 1.1.2聯結詞( ()優先級小於¬ ) 1.1.3邏輯運算符的優先級 1.2命題公式和真值表 1.2.1命題變元 1.2.2命題公式(通常用G表示) 1.2.3公式的解釋(用 I 表示) 1.定義 2.例題 3.說明 1.2.4真值表 1.定義 2.說明 3.真值表的畫法 1.3公式分類和邏輯等價 1.3.1命題公式的分類 1.定義： 2.三種公式之間

>>阅读原文<<