清晰謂詞是一個數學術語。
基本介紹
- 中文名:清晰謂詞
- 外文名:distinct predicate
清晰謂詞是一個數學術語。
清晰謂詞是一個數學術語。清晰謂詞,邏輯學的基本概念之一它是任何對象滿足該謂詞與否完全分明的那種謂詞.設P為一謂詞(概念或性質),如果對任何對象x而言,總是要么x完全滿足P,要么x完全不滿足屍,亦即不存在這樣的對象,它部分...
則稱P為模糊謂詞,簡記為fuzP.此外 fuz表示“模糊的,,. 模糊謂詞fuze在MS中的形式定義為 由上述fuze的形式定義可看出,MS系統中的任何謂詞要么是fuze,要么是disP,亦即MS系統中不存在這樣的謂詞,它部分地模糊又部分地清晰.
亦即MS系統中的正規清晰謂詞囊括了一切康托爾意義下的造集謂詞,而且正規清晰謂詞的外延大於康托爾意義下之造集謂詞的外延.由於 MS系統中有定理 disP V fuze,故所有謂詞分為清晰謂詞(A)和模糊謂詞(B)兩類。
而且幾乎不可能在經典數學範圍內解決.但在ML&MS中,通過泛概括公理和泛概括定理證明了“任何正規清晰謂詞都存在著一個該謂詞的恰集”,而 MS意義下的一切正規清晰謂詞又囊括了康托爾意義下的一切造集謂詞.這表明在MS中已完全保留了康...
概集是概集A come在MS中的形式定義為任一謂詞屍的恰集也一定是屍的概集,但謂詞屍的概集未必是P的恰集.當屍為清晰謂P(x),詞時,則屍的恰集與概集完全一致,並且惟一確定.集合A便是disP的惟一確定的恰集,同時A也是屍的惟一...
連謂結構是指謂詞或謂詞結構連用的格式,不是指謂語連用的格式。作者著重分析了連謂結構里最常見的一種類型,即V₁+N+V₂(如請客人吃飯、找點兒事做)。作者特別指出不少語法著作把N指施事的一類稱為遞系式(或稱兼語式),...
美國哲學家希爾頓認為,分析哲學具有兩個突出特徵,其一是對清晰性的要求,其二是強調現代邏輯的作用,而這兩個特徵都集中在這樣一個觀點之上:“一階邏輯的記法支持一種關於清晰性的理想”。[20]這在早期的分析哲學家思想中都有明顯...
(1)表達式的層次結構不夠清晰;(2)個體化認知模式體現不夠明確;(3)量詞管轄的範圍不太確切;(4)句子成分的語序不固定;(5)語形和語義不對應。從自然語言的視角衡量邏輯語言,其不足有:(1)初始詞項的種類不夠多樣;(2)量詞的種類比較...
MS就為精確性經典數學和處理模糊現象的不確定性數學(未來的不確定性數學將有別於當今意義下的模糊數學)提供了一個共同的理論基礎,並在數學基礎理論意義下完成了數學研究對象由精確性到模糊性的再擴充.如圖1所示: 此處dis表示清晰現象,...
《離散數學》是2019年清華大學出版社出版的圖書。內容簡介 本書主要介紹了離散數學的基本內容和一些簡單套用。全書共分5章,分別介紹命題邏輯、謂詞邏輯、集合論、二元關係和圖論。本書整體結構清晰,概念清楚,重點突出。為了方便學生理解...
《數理邏輯的思想與方法》內容涉及集合論初步、命題和命題形式、命題邏輯、命題邏輯系統的特徵、狹謂詞邏輯、狹謂詞邏輯系統的特徵等,適合數理理論研究者參考使用。作者簡介 李娜,女,1958年3月生於河南開封市。1982年畢業於河南大學數學...
教程的第一部分和第二部分,通過伴以清晰闡釋的循序漸進式訓練,帶領學生從語句邏輯通達帶等詞的一階謂詞邏輯。第三部分則覆蓋邏輯畛域其他內容的比較穩固的範圍,包括亞里士多德邏輯、歸納邏輯、模態邏輯、認知邏輯和道義邏輯。全書以清晰...
《離散數學》結構嚴謹,邏輯清晰,講解透徹,示例豐富,可作為高等院校計算機科學技術、軟體工程等相關專業“離散數學”課程的教材,也可以作為計算機科學技術行業從業人員的參考書。《離散數學》特點:精心策劃,專業編校 結構嚴謹,邏輯清晰 ...