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