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