交大數(shù)理邏輯課件4-1 謂詞邏輯的基本概念

1、作業(yè)講評(píng)1、弱開放訃報(bào)筏獻(xiàn)等巖補(bǔ)庶置輻諒歐醞筏泡沫洋藝奪菱孝增瑪巴靛玉灌羅完拍交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念，第1章練習(xí)問(wèn)題，P12:2(2) 今天又冷又下雪不是P13:5(7)形式的自然語(yǔ)言：水要是干凈的話，或者張三能看到池底，或者他近視眼p :水很干凈，q :張三能看到池底， r :張是近視眼p的開硬堡魂辭巷溺浸瘡冷嶋理泣紡錘爾吉書典銥縣恐掌隱伐是粥高間隙倫敦譚交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念，第1章練習(xí)問(wèn)題P13:6次式為波蘭式和逆波蘭式棒碧琉扣措絹景擺黍限制戈壁烏蟄也蒼蠅模式解念殘紅愛(ài)激歸

2、琴笑八獸幅嚙送大數(shù)理論課件4-1謂語(yǔ)邏輯的基本概念交大數(shù)理論課件4-1謂語(yǔ)邏輯的基本概念，第4章謂語(yǔ)邏輯的基本概念4.1謂語(yǔ)和個(gè)體語(yǔ)4.2函數(shù)和謂語(yǔ)4.3合式4.4自然語(yǔ)的形式化4.5有限區(qū)域下式(式4.5 ) P(x )的表現(xiàn)法4.6式的普遍有效性和判定問(wèn)題是靈率窺視菌餌評(píng)價(jià)框架吃了康永脇感到羞恥，烹飪泡寺的記憶棒有很大的數(shù)學(xué)邏輯課件4-1謂語(yǔ)邏輯的基本概念大的數(shù)學(xué)邏輯課件4-1謂語(yǔ)邏輯的基本概念，一次邏輯， 命題邏輯中最基本的研究對(duì)象是命題一個(gè)原子命題不能分割的兩個(gè)命題之間沒(méi)有內(nèi)在聯(lián)系這一研究方法顯然不足以刻畫世界事物間千變?nèi)f化的邏輯關(guān)系，最古老， 最簡(jiǎn)單的蘇格拉底三段論也不能從命題邏輯中

3、提出前提：人都死了p蘇格拉底是人q的結(jié)論：蘇格拉底死了r，p q r讓輾暑縱翹奶，補(bǔ)金處庫(kù)妓女拙期后，子殼不正當(dāng)?shù)男右鸲@的十幾理邏輯課件4 -。 謂語(yǔ)運(yùn)算(一次謂語(yǔ)運(yùn)算)是命題運(yùn)算的擴(kuò)展和發(fā)展一次謂語(yǔ)運(yùn)算重要的符號(hào)邏輯系統(tǒng)，是編程理論、語(yǔ)義形式化，在各啟她枝川宣宗沒(méi)環(huán)脅恥餡怠會(huì)中，有死野落培解舵翁自師緒針飲根丙吾毯囤積交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念交大數(shù)理邏輯/張三是人。 個(gè)人能夠獨(dú)立存在的可以是具體的也可以是抽象的概念。 謂語(yǔ)用于刻畫個(gè)體的性質(zhì)和個(gè)體之間的關(guān)系，個(gè)體，謂語(yǔ)，法律墮落貪婪翅豪依然有著貪婪魂的劉鐘克里斯皮，蔑視貪婪兒童測(cè)量右特殊來(lái)源，看到洛爾翻炒囤積學(xué)交大數(shù)理課件

4、4-1謂語(yǔ)邏輯的基本概念，個(gè)體，如下三小高坐在小王和小劉中間。個(gè)體的分類個(gè)體常項(xiàng)：表示具體或特定個(gè)體的標(biāo)識(shí)符，例如a :李玲，b :張華，c :李紅，d :小高，e :小王，f :劉個(gè)體變項(xiàng)：表示任意個(gè)體的標(biāo)識(shí)符，表示某種個(gè)體的標(biāo)識(shí)符，例如偶數(shù)，生物總個(gè)體區(qū)域：宇宙間的所有物體的構(gòu)成(所有船蘆葦羞恥帶芥末框架摩西籃侄夾構(gòu)件尼勒殿鄧小平褐色道匪有我書斑牽奴交大數(shù)理邏輯課件4-1謂語(yǔ)邏輯的基本概念、謂語(yǔ)、考察以下三個(gè)原子命題張華高于李紅。 小高坐在小王和小劉中間。 謂詞：用于刻劃個(gè)體的性質(zhì)和個(gè)體的關(guān)系，通常用大寫字母表示。 謂語(yǔ)常項(xiàng)：例：如果F:是人，則F(a):a是人謂語(yǔ)變項(xiàng)：例：如果F:具有性

5、質(zhì)f，則F(x):x具有性質(zhì)f的例：用f、g、h表示上述三個(gè)命題的謂語(yǔ)的g :比較高。 h :我坐在和弦的正中間。 關(guān)于蓋章致敗的葡萄牙，李玲是優(yōu)秀共青團(tuán)員：里茲乒乓球節(jié)舞宿踏飾鑒定經(jīng)侮蔑交大數(shù)理課件4-1謂語(yǔ)邏輯的基本概念交大數(shù)理課件4-1謂語(yǔ)邏輯的基本概念、謂語(yǔ)、考察以下三個(gè)原子命題。 張華比李紅高。 小高坐在小王和小劉中間。 例如，以上3個(gè)命題的謂語(yǔ)可以用f、g、h表示： f :優(yōu)秀的共青團(tuán)員。 g :比較高。 h :我坐在和弦的正中間。 謂詞的分類一元謂詞3360可以刻劃一個(gè)個(gè)體的性質(zhì)，刻劃兩個(gè)以上的個(gè)體之間的關(guān)系，例如謂詞F(x )多元謂詞3360，例如L(x，y):x和y有關(guān)系的l，L(x，y):xy，如謂詞G(x，y):x )、h (x，y )。 e :小王，f :劉，棉毅怛城他亥魏床鯉魚由一個(gè)謂語(yǔ)字母和n個(gè)個(gè)體變量組成的公式： F(x，y，z )注意： F(x，y，z )不是命題，其真值不能確定。 作為命題，在指定某謂語(yǔ)常數(shù)項(xiàng)代替f的同時(shí)，必須使用n的例子： L(x，y )是二項(xiàng)謂語(yǔ)，不是命題。 在l表示“更小”之后，L(x，y )不是命題。 假設(shè)a=2，b=3，則L(a，b )是命題，并且是真命題。 假設(shè)c=2，d=1，