01-命題邏輯基本概念-(專業(yè)版)
【正文】 , ?, ?, ?, ?. 基本復合命題及其真值（續(xù)） p q 172。 ? 簡單命題符號化； ? 聯(lián)結詞符號化。第一章 命題邏輯基本概念 引言 ? 邏輯主要研究 推理過程 ，而推理過程必須依靠 命題 來表述。 在自然語言中出現(xiàn)的聯(lián)結詞有的具有二義性，因此在數(shù)理邏輯中必須給出聯(lián)結詞的嚴格定義，并且將它們符號化。p p ? q p ? q p ? q p ? q 0 0 0 1 1 0 1 1 基本復合命題及其真值（續(xù)） p q 172。 我們約定的聯(lián)結詞的 優(yōu)先順序 為 : (), 172。 完全由符號構成的語言為形式語言。 ? 在命題邏輯中， “ 命題 ” 被看作最小單位。 否定聯(lián)結詞 否定聯(lián)結詞（續(xù)） ? 例 （續(xù)） (1) 2不是無理數(shù) 若（簡單命題符號化） p: 2是無理數(shù) . p的真值是 0. 則 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。 ? “ 復雜 ” 復合命題 多次使用聯(lián)結詞集中的聯(lián)結詞。 (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ù)理邏輯研究方法的主要特征之一是將論述或推理中的各種要素都符號化，即構造各種符號語言來代替自然語言。 ? 命題邏輯是數(shù)理邏輯中最基本、最簡單的部分。 p: 2不是無理數(shù) .
法律信息相關推薦
鄂ICP備17016276號-1