謂詞邏輯的等值和推理演算教學(xué)課件-002_第1頁
謂詞邏輯的等值和推理演算教學(xué)課件-002_第2頁
謂詞邏輯的等值和推理演算教學(xué)課件-002_第3頁
謂詞邏輯的等值和推理演算教學(xué)課件-002_第4頁
謂詞邏輯的等值和推理演算教學(xué)課件-002_第5頁
已閱讀5頁,還剩43頁未讀, 繼續(xù)免費(fèi)閱讀

下載本文檔

版權(quán)說明:本文檔由用戶提供并上傳,收益歸屬內(nèi)容提供方,若內(nèi)容存在侵權(quán),請進(jìn)行舉報(bào)或認(rèn)領(lǐng)

文檔簡介

6、紀(jì)律是自由的第一條件?!诟駹?、紀(jì)律是集體的面貌,集體的聲音,集體的動(dòng)作,集體的表情,集體的信念?!R卡連柯8、我們現(xiàn)在必須完全保持黨的紀(jì)律,否則一切都會(huì)陷入污泥中。——馬克思9、學(xué)校沒有紀(jì)律便如磨坊沒有水。——夸美紐斯10、一個(gè)人應(yīng)該:活潑而守紀(jì)律,天真而不幼稚,勇敢而魯莽,倔強(qiáng)而有原則,熱情而不沖動(dòng),樂觀而不盲目。——馬克思謂詞邏輯的等值和推理演算共46頁文檔謂詞邏輯的等值和推理演算共46頁文檔6、紀(jì)律是自由的第一條件?!诟駹?、紀(jì)律是集體的面貌,集體的聲音,集體的動(dòng)作,集體的表情,集體的信念?!R卡連柯8、我們現(xiàn)在必須完全保持黨的紀(jì)律,否則一切都會(huì)陷入污泥中?!R克思9、學(xué)校沒有紀(jì)律便如磨坊沒有水?!涿兰~斯10、一個(gè)人應(yīng)該:活潑而守紀(jì)律,天真而不幼稚,勇敢而魯莽,倔強(qiáng)而有原則,熱情而不沖動(dòng),樂觀而不盲目?!R克思謂詞邏輯的等值和推理演算共46頁文檔謂詞邏輯的等值和推理演算主要內(nèi)容謂詞公式的等值等值演算范式(PNF,Skolem范式)推理式及推理演算歸結(jié)推理LuChaojunSJTU詞匯是語言三要素之一,也是語言的最小意義單位,是高中英語教學(xué)的基石,是語言交流的基礎(chǔ)。詞匯在英語學(xué)習(xí)中占有很重要的地位,句子是由詞構(gòu)成的,對話、文章是由單詞組合而成。詞匯量小,就完不成聽說讀寫的任務(wù)。語言學(xué)家威爾金斯曾說過:“沒有語法只能傳達(dá)很少的信息,沒有詞匯則什么也無法表達(dá)。”在英語學(xué)習(xí)中,許多學(xué)生因?yàn)槿狈υ~匯的學(xué)習(xí)策略而導(dǎo)致對英語學(xué)習(xí)的架空,甚至放棄了英語這門課程。為了提高學(xué)生英語學(xué)習(xí)水平,教師應(yīng)根據(jù)學(xué)生的實(shí)際情況,設(shè)法擴(kuò)大學(xué)生的詞匯量,使學(xué)生根深蒂固的理解詞匯并能準(zhǔn)確的應(yīng)用。作為學(xué)生,通過長時(shí)期艱苦的積累,掌握了相關(guān)要求的詞匯量,也有利于聽說讀寫的訓(xùn)練,打牢了基礎(chǔ),厚積薄發(fā),使英語學(xué)習(xí)步入良性循環(huán),直至理解英語學(xué)習(xí)的終極意義,理解西方文化背景,甚至于把英語融入終身學(xué)習(xí)。因此,詞匯學(xué)習(xí)是貫穿整個(gè)英語教學(xué)過程的重要環(huán)節(jié)。教師作為教育教學(xué)工作的主導(dǎo)者,如何不斷研究創(chuàng)新英語教學(xué)的詞匯方法;如何探索單詞間的記憶規(guī)律,減少學(xué)生學(xué)習(xí)英語的盲目性,感受學(xué)習(xí)英語的樂趣,是目前推行新課改情況下所亟待解決的問題。一、高中學(xué)生詞匯學(xué)習(xí)中存在問題1.語音問題單詞的拼寫形式是與字母和字母的讀音規(guī)則相關(guān)聯(lián)的。詞匯注重音和形的統(tǒng)一與結(jié)合,只有把一定的音同對應(yīng)的形聯(lián)系起來,反復(fù)的探索練習(xí),才能掌握單詞的音形模式聯(lián)系,而單詞的語音問題是把握這種音形模式聯(lián)系的切入點(diǎn),一旦學(xué)生發(fā)音敏感性缺失,將會(huì)影響其掌握詞匯學(xué)習(xí)的規(guī)律。2.方法問題傳統(tǒng)的教學(xué)理念是對學(xué)生灌輸知識(shí)而缺乏具體運(yùn)用的過程,學(xué)生學(xué)習(xí)的知識(shí)未被及時(shí)的消化。學(xué)生還是偏重于死記硬背的機(jī)械記憶方式,英語學(xué)習(xí)缺乏活力,長此以往,禁不住會(huì)產(chǎn)生厭學(xué)情緒。3.語境缺失詞匯學(xué)習(xí)也是利用具體的情景掌握讀音和語義的,孤立的講解詞匯,只會(huì)使學(xué)生英語學(xué)習(xí)感到枯燥無味,而在生活情景、直觀教具情景、表演情景、想象情景中用單詞,不僅可以激發(fā)學(xué)生的興趣,而且可以克服孤立記憶單詞容易遺忘的缺陷,讓學(xué)生能夠真正理解學(xué)習(xí)語言的真諦---應(yīng)用交際。二、高中學(xué)生詞匯學(xué)習(xí)中出現(xiàn)問題的原因分析高中英語教學(xué)受到的桎梏很大程度上來自于學(xué)生本身,特別是農(nóng)村中學(xué),存在著一個(gè)旋而未解的問題,就是升入高中的學(xué)生,普遍英語水平較差,在正常的授課中往往會(huì)出現(xiàn)老師提問、學(xué)生非答的僵局,這樣很難完成聽說讀寫的正常教學(xué)。在新課改的趨勢下,也難以逾越傳統(tǒng)的教學(xué)模式向高效課堂的轉(zhuǎn)型。究其原因,相對于城市而言,農(nóng)村學(xué)生升入初中后才接觸英語,延誤了英語學(xué)習(xí)的早期啟蒙。即使在初中學(xué)習(xí)階段的黃金時(shí)期,因?yàn)槿狈τ⒄Z環(huán)境及相應(yīng)的資源設(shè)施,也導(dǎo)致了學(xué)生發(fā)音不準(zhǔn)、知識(shí)儲(chǔ)備不足的格局。很多學(xué)生在未升入高中之前,英語學(xué)習(xí)興趣早已麻木,甚至放棄了這門課程。升入高中以后,即使有轉(zhuǎn)變的念想,由于單詞量的匱乏等歷史問題,學(xué)習(xí)無法與老師的教學(xué)同步,最終還會(huì)回歸原初狀態(tài),面對高中教材中成倍增長的詞匯,歷史問題與現(xiàn)實(shí)相結(jié)合,惡性循環(huán)形成,導(dǎo)致了英語是所有學(xué)科中最難問題。三、加強(qiáng)農(nóng)村語境下的高中英語詞匯教學(xué)的策略1.掌握讀音規(guī)則,培養(yǎng)聽拼讀能力英語屬于拼音文字,字母在單詞中的讀音與單詞的拼寫有一定的規(guī)律。因此,學(xué)生應(yīng)熟練的掌握拼讀規(guī)則,準(zhǔn)確把握國際音標(biāo)的發(fā)音,養(yǎng)成良好的語音習(xí)慣,為聽拼讀能力打下扎實(shí)的基礎(chǔ)。2.勤“寫”以鞏固詞匯聽寫不僅可以加強(qiáng)學(xué)生的聽力,而且可以鞏固學(xué)生的單詞拼寫,甚至發(fā)揮學(xué)生的想像力,創(chuàng)造性的自由發(fā)揮語言及寫作才能。3.做好與初中英語詞匯的銜接高中英語的詞匯量是與初中緊密相聯(lián)的,農(nóng)村中學(xué)的學(xué)生步入高中,基礎(chǔ)本來就很薄弱,再加上對英語學(xué)習(xí)有畏懼心理,這就會(huì)給英語教學(xué)造成屏障。為此,要不斷的鼓勵(lì)學(xué)生,建立融洽的師生關(guān)系,還得讓學(xué)生掌握至少2000個(gè)核心詞匯,以此為基礎(chǔ),把握學(xué)習(xí)方法,實(shí)現(xiàn)單詞的全面升華。4.構(gòu)詞法是詞匯記憶方法的架構(gòu)英語構(gòu)詞法主要有合成法、轉(zhuǎn)化法與派生法。除了合成法把兩個(gè)或兩個(gè)以上的詞合成一個(gè)新詞性的方法、轉(zhuǎn)化法是在不同的語境中將詞性轉(zhuǎn)化而詞形不變的方法之外,派生法是2/3的英語單詞借助使用的方法。派生法的結(jié)構(gòu)是前綴+詞干+后綴,學(xué)生可以借助詞根詞綴字典,學(xué)習(xí)和記憶“詞族”,確認(rèn)詞根猜測涵義,舉一反三,日積月累的擴(kuò)大詞匯量。5.分類法是詞匯記憶方法的深化高中英語學(xué)生在積累了一定數(shù)量的單詞以后,把單詞按照詞性(n、v、adj、adv)進(jìn)行分類,并且可以把同音異形詞、同義詞或詞組等易混淆的詞歸類對比,以加深記憶,同時(shí)要求學(xué)生熟悉漢語意思,正確的朗讀單詞及日常用語。6.媒體影視是詞匯記憶方法的源泉高中年齡階段的學(xué)生有強(qiáng)烈的求知欲與好奇心,而且處于想像力很豐富的階段。組織學(xué)生看英文原聲電影如《簡愛》、《獅子王》等,設(shè)置問題、設(shè)置語境讓學(xué)生參與英文討論,鼓勵(lì)學(xué)生自主學(xué)習(xí),采用聯(lián)想法以看促學(xué)、以聽促記,使學(xué)生參與到活動(dòng)中,獲得多說英語的機(jī)會(huì),激發(fā)學(xué)生英語學(xué)習(xí)興趣,享受英語學(xué)習(xí)的快樂,提高語言交際能力。以上是本人教育教學(xué)的些許經(jīng)驗(yàn)??偠灾?,詞匯是學(xué)好英語的基礎(chǔ)。詞匯教學(xué)不僅要注重詞匯積累的數(shù)量,更應(yīng)注重詞匯記憶的效率。掌握英語詞匯是一項(xiàng)長期艱苦探索的過程,教師不僅要鼓勵(lì)學(xué)生克服困難,快樂的學(xué)習(xí)英語,更應(yīng)不斷的總結(jié)詞匯教學(xué)的策略和規(guī)律,為教學(xué)服務(wù),持之以恒的探索農(nóng)村語境下的適合農(nóng)村學(xué)生的學(xué)習(xí)方法,讓初中詞匯薄弱的學(xué)生在短時(shí)期內(nèi)補(bǔ)齊落差,以嶄新的面貌輕松的步入高中英語學(xué)習(xí)階段,以期達(dá)到更好的學(xué)習(xí)效果。新課程倡導(dǎo)探究式的教學(xué)方法?;瘜W(xué)教師要改變傳統(tǒng)的教學(xué)模式,逐步從驗(yàn)證性實(shí)驗(yàn)教學(xué)過渡到探究性實(shí)驗(yàn)教學(xué),要根據(jù)學(xué)生的知識(shí)、能力水平層次,根據(jù)教材的重點(diǎn)、難點(diǎn),合理設(shè)計(jì)探究實(shí)驗(yàn)方案,使其盡可能貼近生產(chǎn)生活實(shí)際,以激發(fā)學(xué)生的學(xué)習(xí)興趣,取得良好的教學(xué)效果。一、探究性實(shí)驗(yàn)教學(xué)模式在驗(yàn)證性實(shí)驗(yàn)教學(xué)模式中,學(xué)生們用實(shí)驗(yàn)驗(yàn)證已學(xué)過的化學(xué)原理、概念或性質(zhì),實(shí)驗(yàn)過程是“照方抓藥”,這極大地影響了學(xué)生的創(chuàng)新精神和創(chuàng)新能力的培養(yǎng)。探究性實(shí)驗(yàn)教學(xué)的一般過程是:提出問題:學(xué)生在閱讀、觀察、調(diào)查中對自然現(xiàn)象、生活現(xiàn)象或?qū)嶒?yàn)現(xiàn)象產(chǎn)生好奇,發(fā)現(xiàn)或提出有探究價(jià)值的問題。假設(shè)與猜想:在已掌握的化學(xué)實(shí)驗(yàn)和實(shí)踐經(jīng)驗(yàn)的基礎(chǔ)上對所提出的可能性答案,做出猜想與假設(shè)。設(shè)計(jì)實(shí)驗(yàn):針對探究目的和條件,設(shè)計(jì)可行性的操作步驟,以達(dá)到預(yù)期目標(biāo)。動(dòng)手實(shí)驗(yàn),獲取實(shí)驗(yàn)事實(shí)與證據(jù):正確操作,科學(xué)記錄實(shí)驗(yàn)現(xiàn)象及數(shù)據(jù),并在實(shí)驗(yàn)中注意觀察、思考。分析問題,得出結(jié)論:將收集到的現(xiàn)象與數(shù)據(jù)用化學(xué)知識(shí)加以分析、處理,得出結(jié)論,并與假設(shè)比較,對與猜測不一樣的現(xiàn)象加以解釋。教學(xué)中教師的引導(dǎo)不是刻意地引出一個(gè)唯一的結(jié)果,而是讓學(xué)生在探究過程中理解科學(xué)方法。二、初中化學(xué)探究性實(shí)驗(yàn)類型及教學(xué)案例探究性實(shí)驗(yàn)的研究內(nèi)容,主要是來自教材中一些容易轉(zhuǎn)化為運(yùn)用探究實(shí)驗(yàn)教學(xué)方法來進(jìn)行學(xué)習(xí)的內(nèi)容,及將已學(xué)過的化學(xué)知識(shí)應(yīng)用于解決日常生活、生產(chǎn)中的一些實(shí)際問題的內(nèi)容。初中化學(xué)探究性實(shí)驗(yàn)常有如下幾種:1探究組成的實(shí)驗(yàn)(如石蠟組成元素的探究,鑒別真假黃金);2探究性質(zhì)的實(shí)驗(yàn)(如CO2:與石蕊試液變色原因的探究);3探究變化規(guī)律的實(shí)驗(yàn)(如質(zhì)量守恒定律的探究);4探究物質(zhì)制備的實(shí)驗(yàn)(如實(shí)驗(yàn)室制取H2、CO2:藥品的選取及實(shí)驗(yàn)裝置選擇的探究);5探究反應(yīng)條件的實(shí)驗(yàn)(如鐵、銅生銹條件的探究,可燃性氣體、粉塵發(fā)生爆炸條件的探究);6探究環(huán)境質(zhì)量的實(shí)驗(yàn)(如雨水的ph值測定,污染空氣的SO2、CO2的測定等);[教學(xué)案例一]二氧化碳的實(shí)驗(yàn)室制法藥品選取的探究1提出問題初中化學(xué)教材第六單元在講述二氧化碳的實(shí)驗(yàn)室制法時(shí),主要用含碳酸根離子的碳酸鈣和含氫離子的鹽酸溶液來制取,在分析了其原理后,引導(dǎo)學(xué)生提出問題:用碳酸鈉能否代替碳酸鈣?稀硫酸能否代替稀鹽酸?2猜想與假設(shè)問題激發(fā)了學(xué)生的思維,他們提出了多種猜想與假設(shè),教師適當(dāng)?shù)貙W(xué)生的思路加以引導(dǎo)。假設(shè)一:碳酸鈉也是含有碳酸根離子的物質(zhì),它能夠與稀鹽酸反應(yīng)生成二氧化碳。假設(shè)二:稀硫酸也含有氫離子,它也能夠與碳酸鈣反應(yīng)生成二氧化碳。但它們的反應(yīng)速率如何?反應(yīng)進(jìn)行的程度如何?是否適宜用于在實(shí)驗(yàn)室制取CO2,這也是探究中應(yīng)考慮的問題。3設(shè)計(jì)實(shí)驗(yàn),進(jìn)行驗(yàn)證讓學(xué)生在提出假設(shè)的基礎(chǔ)上,設(shè)計(jì)出實(shí)驗(yàn)方案,教師檢查學(xué)生的實(shí)驗(yàn)設(shè)計(jì),給予適當(dāng)?shù)闹笇?dǎo)。實(shí)驗(yàn)一:用大理石和稀鹽酸反應(yīng)――能反應(yīng),放出二氧化碳,速率適中。實(shí)驗(yàn)二:用碳酸鈉和稀鹽酸反應(yīng)――能反應(yīng),放出二氧化碳,瞬間完成。實(shí)驗(yàn)三:用大理石和稀硫酸反應(yīng)――能反應(yīng),放出二氧化碳,但很快停止。(實(shí)驗(yàn)步驟略,學(xué)生觀察現(xiàn)象并記錄)4解釋與結(jié)論讓學(xué)生分組分析、討論實(shí)驗(yàn)現(xiàn)象(引導(dǎo)學(xué)生查閱資料)。假設(shè)一、假設(shè)二都是正確的,但實(shí)驗(yàn)二盡管能反應(yīng)放出二氧化碳,可是反應(yīng)速度太快,不易控制,實(shí)驗(yàn)三中碳酸鈣與稀硫酸能反應(yīng),但由于生成的CaSO4微溶,覆蓋在大理石的表面,阻止了反應(yīng)的繼續(xù)進(jìn)行。從而得出結(jié)論:不宜用稀硫酸代替稀鹽酸或用Na2CO3,代替大理石制取二氧化碳。[教學(xué)案例二]關(guān)于測定空氣中氧氣體積分?jǐn)?shù)的實(shí)驗(yàn)條件的探究初中化學(xué)教材第一單元[實(shí)驗(yàn)2-1],用紅磷作為燃燒物在密閉容器中燃燒消耗氧氣的方法,測定一定體積的空氣中氧氣所占的體積分?jǐn)?shù)。教師通過演示實(shí)驗(yàn),得出氧氣約占空氣體積的1/5的結(jié)論。本課題的教學(xué),可以設(shè)計(jì)為開放的實(shí)驗(yàn)探究課。1提出問題能在空氣中燃燒的可燃物很多,為什么一定要選磷?能否用其它可燃物替代磷?2提出假設(shè)學(xué)生通過討論提出了多種假設(shè):木炭、硫、鎂條、蠟燭都能在空氣中燃燒,消耗氧氣,可替代磷。3設(shè)計(jì)實(shí)驗(yàn),進(jìn)行論證將支持不同假設(shè)的學(xué)生分成幾個(gè)小組,按課本的實(shí)驗(yàn)裝置(可改進(jìn))進(jìn)行實(shí)驗(yàn)。(實(shí)驗(yàn)儀器:玻璃鐘罩、燃燒匙、膠塞、水槽。提示:可燃物要過量。)實(shí)驗(yàn)中,分別用紅磷、木炭、硫、鎂條、蠟燭作燃燒物,在密閉的玻璃鐘罩內(nèi)燃燒,冷卻后觀察,放紅磷的玻璃鐘罩內(nèi)水位上升約1/5,放鎂條的玻璃鐘罩內(nèi)水位上升超過1/5,其余的玻璃鐘罩內(nèi)水位無明顯變化。4解釋與結(jié)論讓學(xué)生分析討論實(shí)驗(yàn)現(xiàn)象。用木炭、硫、鎂條、蠟燭作燃燒物的實(shí)驗(yàn)并沒有達(dá)到預(yù)期目的,說明相關(guān)的假設(shè)均不正確。原因是:木炭、硫、蠟燭燃燒消耗氧氣的同時(shí),又生成了其它氣體,鐘罩內(nèi)氣體總體積幾乎沒有變化,而鎂是活潑金屬,除了與氧氣反應(yīng)之外,還與氮?dú)夥磻?yīng)(在教師引導(dǎo)下查閱資料)。所以在測定空氣中氧氣體積分?jǐn)?shù)的實(shí)驗(yàn)中,選擇燃燒物的條件是:生成物應(yīng)該是固體的;燃燒后不改變空氣中其它氣體的成分。[教學(xué)案例三]校園里不同地點(diǎn)二氧化碳的相對含量的實(shí)驗(yàn)探究1提出問題空氣中的二氧化碳約占空氣總體積的0.03%,但在我們周圍的環(huán)境中,可能引起二氧化碳含量變化的因素很多,不同地點(diǎn)空氣中二氧化碳的含量是否一樣?生活、學(xué)習(xí)環(huán)境中應(yīng)如何注意保持良好的空氣質(zhì)量?2提出假設(shè)學(xué)生討論后,提出了各自的猜想和假設(shè)。假設(shè)一:各地CO2含量基本相同,因?yàn)槿撕粑刃枰狾2放出CO2,但植物的光合作用吸收CO2并放出O2。假設(shè):各地含量有所不同,因?yàn)椴煌h(huán)境中人的活動(dòng)密度、空氣流通狀況不同。3設(shè)計(jì)實(shí)驗(yàn),進(jìn)行論證讓學(xué)生結(jié)合自己所掌握的知識(shí)提出各自實(shí)驗(yàn)方案,進(jìn)行分組討論,教師適當(dāng)指導(dǎo),最后得出理論上可行、操作上簡單的實(shí)驗(yàn)方案:用堿液吸收法測定各地C02的相對含量。具體操作:分三個(gè)小組,每小組各取一個(gè)干凈的250ml細(xì)口瓶(橡皮塞密封性能良好),分別注入50.0ml相同濃度的稀氨水,滴入幾滴酚酞作指示劑,塞上橡皮塞。然后在同一時(shí)間里分別到花園、教室和宿舍三個(gè)地點(diǎn),用50ml注射器多次抽取空氣注入細(xì)口瓶中(每次均抽滿50ml空氣),不斷振蕩細(xì)口瓶,直至溶液剛好完全褪色,記錄抽取空氣的次數(shù)。實(shí)驗(yàn)記錄數(shù)據(jù)(實(shí)驗(yàn)中不考慮校園環(huán)境受其它酸性氣體的影響,不作CO2定量測定,只對CO2相對含量作比較):(取樣時(shí)間均為2005年3月2日17時(shí)10分)4實(shí)驗(yàn)結(jié)論人群密集、空氣流動(dòng)較差的地方,CO2濃度較大。要保持良好的學(xué)習(xí)和生活環(huán)境,應(yīng)該注意經(jīng)常打開門窗,保持通風(fēng)。三、值得注意和進(jìn)一步研究的一些問題1探究活動(dòng)必須在學(xué)生已掌握基本知識(shí)和理論的基礎(chǔ)上進(jìn)行。2探究應(yīng)是適度、有目的的,而不是漫無邊際、毫無目的的。3初中化學(xué)探究實(shí)驗(yàn),教師應(yīng)給予必要的、適當(dāng)?shù)囊龑?dǎo),避免隨意性和盲目性。4初中生的知識(shí)水平、精力及學(xué)習(xí)時(shí)間都是有限的,探究應(yīng)主要圍繞課本知識(shí)進(jìn)行,不宜過分?jǐn)U大探究領(lǐng)域。5危險(xiǎn)性較大,對個(gè)體的危害和對環(huán)境的污染較大的化學(xué)實(shí)驗(yàn)一般不適合學(xué)生探究。在實(shí)踐中可以發(fā)現(xiàn),學(xué)生自己提出適宜探究的內(nèi)容和問題是開展探究性教學(xué)的難點(diǎn)。如何更好地開展探究式教學(xué),仍需要我們繼續(xù)努力探討。責(zé)編王學(xué)軍謂詞邏輯的等值和推理演算主要內(nèi)容謂詞公式的等值等值演算范式(PNF,Skolem范式)推理式及推理演算歸結(jié)推理LuChaojunSJTU由命題邏輯移植來的等值式在命題邏輯的等值式中以謂詞公式代入命題變項(xiàng),便可得謂詞邏輯的等值式.例如np=p7VxP(x=(Vx)p()p→入q=→pVq+P(x)→>Q(x)=-P(x)vQ(x)LuChaojunSJTU量詞轉(zhuǎn)化型等值式量詞的轉(zhuǎn)化(Vx)(x)=-(x)-na(x)Vx)ax=x)dxGxa(r)=-(vx-axnxar=(ixia(x)例x)(Animale(x)→Car(x)并非動(dòng)物都是貓Gx)-(Animal(x)->Cat(x))=(x)Animal(x)A-Ca(x)存在不是貓的動(dòng)物L(fēng)uChaojunSJTU量詞分配等值式量詞對入及∨的分配律(Vx(alrvB)=(vx)a(x)vB(x)((x))=(3x)(x)VB(Vx(a(r))=(x)a(x)AB(x)((x)^B=(3x)a(x)∧B其中β不含自由x這個(gè)條件很容易滿足:對約束變元改名即可LuCh

溫馨提示

  • 1. 本站所有資源如無特殊說明,都需要本地電腦安裝OFFICE2007和PDF閱讀器。圖紙軟件為CAD,CAXA,PROE,UG,SolidWorks等.壓縮文件請下載最新的WinRAR軟件解壓。
  • 2. 本站的文檔不包含任何第三方提供的附件圖紙等,如果需要附件,請聯(lián)系上傳者。文件的所有權(quán)益歸上傳用戶所有。
  • 3. 本站RAR壓縮包中若帶圖紙,網(wǎng)頁內(nèi)容里面會(huì)有圖紙預(yù)覽,若沒有圖紙預(yù)覽就沒有圖紙。
  • 4. 未經(jīng)權(quán)益所有人同意不得將文件中的內(nèi)容挪作商業(yè)或盈利用途。
  • 5. 人人文庫網(wǎng)僅提供信息存儲(chǔ)空間,僅對用戶上傳內(nèi)容的表現(xiàn)方式做保護(hù)處理,對用戶上傳分享的文檔內(nèi)容本身不做任何修改或編輯,并不能對任何下載內(nèi)容負(fù)責(zé)。
  • 6. 下載文件中如有侵權(quán)或不適當(dāng)內(nèi)容,請與我們聯(lián)系,我們立即糾正。
  • 7. 本站不保證下載資源的準(zhǔn)確性、安全性和完整性, 同時(shí)也不承擔(dān)用戶因使用這些下載資源對自己和他人造成任何形式的傷害或損失。

最新文檔

評論

0/150

提交評論