01-命題邏輯基本概念-(文件)
【正文】 p p ? q p ? q p ? q p ? q 0 0 0 1 1 0 1 1 基本復(fù)合命題及其真值（續(xù)） p q 172。, ?, ?, ?, ?} ? 基本復(fù)合命題 由聯(lián)結(jié)詞集中的一個(gè)聯(lián)結(jié)詞聯(lián)結(jié)一個(gè)或兩個(gè)原子命題組成的復(fù)合命題是最簡(jiǎn)單的復(fù)合命題，成為基本復(fù)合命題。 蘊(yùn)涵聯(lián)結(jié)詞（續(xù)） ? 例 （續(xù)） (4) 如果 2是素?cái)?shù) , 那么 3也是素?cái)?shù) . 若（簡(jiǎn)單命題符號(hào)化） p: 2是素?cái)?shù) . p的真值是 1. q: 3是素?cái)?shù) . q的真值是 1. 則 p ? q: 如果 2是素?cái)?shù) , 那么 3也是素?cái)?shù) . p ? q的真值為 1. 蘊(yùn)涵聯(lián)結(jié)詞使用注意事項(xiàng) ? 在自然語(yǔ)言中，特別是在數(shù)學(xué)中， q是 p的必要條件有很多種不同的敘述方式 ： (1) 只要 p, 就 q. (2) 因?yàn)?p, 所以 q. (3) p僅當(dāng) q. (4) 只有 q才有 p. (5) 除非 q才 p. (6) 除非 q, 否則非 p. …… 蘊(yùn)涵聯(lián)結(jié)詞使用注意事項(xiàng)（續(xù)） ? 在自然語(yǔ)言中 , “如果 p, 則 q”中的前件 p與后件 q往往具有某種內(nèi)在聯(lián)系 , 而在數(shù)理邏輯中 , p與 q可以無(wú)任何內(nèi)在聯(lián)系 . ? 在數(shù)學(xué)或其它自然科學(xué)中 , “如果 p, 則 q”往往表達(dá)的是前件 p為真 , 后件 q也為真的推理關(guān)系 . 但在數(shù)理邏輯中 , 是一種規(guī)定 . 等價(jià)聯(lián)結(jié)詞 ? p ? q 的邏輯關(guān)系為 p與 q互為充分必要條件 等價(jià)聯(lián)結(jié)詞（續(xù)） ? 邏輯關(guān)系等價(jià) p ? q 與 (p ? q) ? (q ? p) 等價(jià)聯(lián)結(jié)詞（續(xù)） ? 例 （續(xù)） (5) 2是素?cái)?shù)當(dāng)且僅當(dāng) 3也是素?cái)?shù) . 若（簡(jiǎn)單命題符號(hào)化） p: 2是素?cái)?shù) . p的真值是 1. q: 3是素?cái)?shù) . q的真值是 1. 則 p ? q: 2是素?cái)?shù)當(dāng)且僅當(dāng) 3也是素?cái)?shù) . p ? q的真值為 1. 命題符號(hào)化（例 , 例 ） (1) 如果 3+3=6, 則雪是白色的 . (2) 如果 3+3≠6, 則雪不是白色的 . 首先原子命題符號(hào)化 : 令 p: 3+3=6, p的真值
法律信息相關(guān)推薦
鄂ICP備17016276號(hào)-1