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

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

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

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

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

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