01-命題邏輯基本概念--文庫吧
2025-07-09 01:48 本頁面
【正文】 ? 若 p取值 0, 則表示 p為假命題 . 復(fù)合命題（例 ） ? 簡單命題 原子命題，不能被分解成更簡單的陳述句。 (P1) ? “復(fù)雜命題 ” 例 . （ 1） 2不 是無理數(shù) . （ 2） 2是偶素數(shù) . （ 3） 2或 4是素數(shù) . （ 4） 如果 2是素數(shù) , 那么 3也是素數(shù) . （ 5） 2是素數(shù) 當(dāng)且僅當(dāng) 3也是素數(shù) . 復(fù)合命題（續(xù)） ? 聯(lián)結(jié)詞 上述諸如 “ 不 ” , “或 ” , “如果 … 那 么 …” 等詞成為聯(lián)結(jié)詞 . ? 復(fù)合命題 由聯(lián)結(jié)詞和命題連接而成的更加復(fù)雜的命題稱為復(fù)合命題 . 復(fù)合命題的真假完全由構(gòu)成它的簡單命題的真假所決定 . 形式語言 數(shù)理邏輯研究方法的主要特征之一是將論述或推理中的各種要素都符號化，即構(gòu)造各種符號語言來代替自然語言。 完全由符號構(gòu)成的語言為形式語言。 ? 簡單命題符號化； ? 聯(lián)結(jié)詞符號化。 在自然語言中出現(xiàn)的聯(lián)結(jié)詞有的具有二義性，因此在數(shù)理邏輯中必須給出聯(lián)結(jié)詞的嚴(yán)格定義，并且將它們符號化。 否定聯(lián)結(jié)詞 否定聯(lián)結(jié)詞（續(xù)） ? 例 （續(xù)） (1) 2不是無理數(shù) 若（簡單命題符號化） p: 2是無理數(shù) . p的真值是 0. 則 172。 p: 2不是無理數(shù) . 172。p的真值為 1. 合取聯(lián)結(jié)詞 合取聯(lián)結(jié)詞（續(xù)） ? 例 （續(xù)） (2) 2是偶素數(shù) . 若（簡單命題符號化） p: 2是偶數(shù) . p的真值是 1. q: 2是素數(shù) . q的真值是 1. 則 p ? q: 2是偶素數(shù) . p ? q的真值為 1. 例 . 將下列命題符號化 (1) 張三既用功又聰明 . (2) 張三不但用功而且聰明 . (3) 張三雖然聰明 , 但不用功 . 首先將原子命題符號化 : p: 張三用功 . q: 張三聰明 . 那么 : (1): p ? q. (2): p ? q. (3): 172。 p ? q. 例 （續(xù)） (4) 張三和李四都是三好學(xué)生 . (5) 張三和李四是同學(xué) . 首先將原子命題符號化 : p: 張三是三好學(xué)生 . q: 李四是三好學(xué)生 .
法律信息相關(guān)推薦
鄂ICP備17016276號-1