01-命題邏輯基本概念--資料下載頁
2025-07-24 01:48本頁面
【正文】 例 , （續(xù)） (8) 若兩圓 O1, O2的面積相等 , 則它們的半徑也相等 , 反之亦然 . 首先原子命題符號化 : p: 兩圓 O1, O2的面積相等 . q: 兩圓 O1, O2的半徑相等 . 則復合命題的符號化及其真值為 (充分必要條件 ): (8): p ? q, 真值為 1 (兩者的內(nèi)在聯(lián)系 ). 例 , （續(xù)） (9) 2+3=5的充要條件是 3不是無理數(shù) . (10) 當小王心情愉快時 , 她就唱歌 , 反之亦然 . 首先原子命題符號化 : p: 2+3=5, 真值為 1. q: 3是無理數(shù) , 真值為 0. r: 小王心情愉快 . s: 小王唱歌 . 則復合命題的符號化及其真值為 (充分必要條件 ): (9): p ? q, 真值為 1. (10): r ? s, 真值由具體情況而定 . 基本復合命題及其真值 ? 聯(lián)結(jié)詞集 {172。, ?, ?, ?, ?} ? 基本復合命題 由聯(lián)結(jié)詞集中的一個聯(lián)結(jié)詞聯(lián)結(jié)一個或兩個原子命題組成的復合命題是最簡單的復合命題，成為基本復合命題。 ? “ 復雜 ” 復合命題 多次使用聯(lián)結(jié)詞集中的聯(lián)結(jié)詞。 我們約定的聯(lián)結(jié)詞的 優(yōu)先順序 為 : (), 172。, ?, ?, ?, ?. 基本復合命題及其真值（續(xù)） p q 172。p p ? q p ? q p ? q p ? q 0 0 0 1 1 0 1 1 基本復合命題及其真值（續(xù)） p q 172。p p ? q p ? q p ? q p ? q 0 0 0 1 1 0 1 1 1 1 0 0 0 0 0 1 0 1 1 1 1 1 0 1 1 0 0 1 例 令 p: 北京比天津人口多 . q: 2 + 2 = 4. r: 烏鴉是白色的 . 求下列復合命題的真值 : (1) ((172。p ? q ) ? ( p ? 172。q)) ? r (2) (172。p ? r) ? (p ? 172。r) 課后作業(yè) (1) 例 （第 4頁） 。 (2) 抄寫 基本復合命題的真值簡表（第 7頁） (3) 習題一 第 4, 8, 11, 13, 15題 （第 13,14頁） . 謝 謝 !
法律信息相關(guān)推薦
鄂ICP備17016276號-1