01-命題邏輯基本概念--文庫吧在線文庫
【正文】 被 2整除 . 則復(fù)合命題的符號(hào)化及其真值為 (必要條件 ): (5) q ? p, 真值與 a相關(guān) . (6) p ? q, 真值也為 1. 例 , （續(xù)） (7) 3不是無理數(shù)當(dāng)且僅當(dāng)加拿大位于亞洲 . 首先原子命題符號(hào)化 : p: 3是無理數(shù) , 真值為 0. q: 加拿大位于亞洲 , 真值為 0. 則復(fù)合命題的符號(hào)化及其真值為 (充分必要條件 ): (7): 172。 p: 2不是無理數(shù) . 172。 如果由另外一個(gè)人給他理發(fā)，他就是不給自己理發(fā)的人，而招牌上明明說他要給所有不自己理發(fā)的男人理發(fā)，因此，他應(yīng)該自己理。 ? 命題邏輯是數(shù)理邏輯中最基本、最簡單的部分。 ? 特征： （ 1）陳述句； （ 2）真假必居其一，且只居其一。 (P1) ? “復(fù)雜命題 ” 例 . （ 1） 2不 是無理數(shù) . （ 2） 2是偶素?cái)?shù) . （ 3） 2或 4是素?cái)?shù) . （ 4） 如果 2是素?cái)?shù) , 那么 3也是素?cái)?shù) . （ 5） 2是素?cái)?shù) 當(dāng)且僅當(dāng) 3也是素?cái)?shù) . 復(fù)合命題（續(xù)） ? 聯(lián)結(jié)詞 上述諸如 “ 不 ” , “或 ” , “如果 … 那 么 …” 等詞成為聯(lián)結(jié)詞 . ? 復(fù)合命題 由聯(lián)結(jié)詞和命題連接而成的更加復(fù)雜的命題稱為復(fù)合命題 . 復(fù)合命題的真假完全由構(gòu)成它的簡單命題的真假所決定 . 形式語言 數(shù)理邏輯研究方法的主要特征之一是將論述或推理中的各種要素都符號(hào)化，即構(gòu)造各種符號(hào)語言來代替自然語言。 ? 前者稱為 “ 相容或 ” ，或者成為 “ 排斥或 ” 。 ? “ 復(fù)雜 ” 復(fù)合命題 多次使用聯(lián)結(jié)詞集中的聯(lián)結(jié)詞。r) 課后作業(yè) (1) 例 （第 4頁） 。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: 烏鴉是白色的 . 求下列復(fù)合命題的真值 : (1) ((172。p ? 172。 否定聯(lián)結(jié)詞 否定聯(lián)結(jié)詞（續(xù)） ? 例 （續(xù)） (1) 2不是無理數(shù) 若（簡單命題符號(hào)化） p:
法律信息相關(guān)推薦
鄂ICP備17016276號(hào)-1