直謂[的](predicative)是1993年公布的數學名詞。
基本介紹
- 中文名:直謂[的]
- 外文名:predicative
- 所屬學科:數學_數理邏輯?數學基礎 _數學基礎
- 公布時間:1993年
![直謂[的] 直謂[的]](/img/a/9a9/a379eaf5eecceb807e7ba578bb00.jpg)
直謂[的](predicative)是1993年公布的數學名詞。
直謂[的](predicative)是1993年公布的數學名詞。公布時間1993年,經全國科學技術名詞審定委員會審定發布。出處《數學名詞》。1...
非直謂[的]非直謂[的](impredicative)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》。
直謂公式 直謂公式是數學名詞。直謂公式(predicative formula)一類合式公式.若GB系統的合式公式中不出現約束類變元(即bA,3X這類量詞),則稱該公式為直謂公式.GB系統的概括定理僅對直謂公式成立.
直謂集合論 直謂集合論(predicative set theory)是1993年公布的數學名詞。公布時間 1993年,經全國科學技術名詞審定委員會審定發布。出處 《數學名詞》第一版。
非直謂定義法(the method of impredicative definition)是一種下定義的方法,指被定義的對象被包括在藉以定義它的各個對象之中的定義方法,亦即“藉助於一個總體來定義一個概念,而這個概念本身又屬於這一總體”。例如:自然數全體N中最小的那個自然數0;一切序數組成的良序集W的序數β;一切良序集所組成的良序集...
又直來,無事而來也。《公羊傳·莊二十七年》:直來曰來。 又《禮·月令》:田事旣畢,先定準直,農乃不惑。疏:準謂輕重平均,直謂繩墨得中也。 又骨直,謂強毅也。《周禮·冬官考工記·工人》:骨直以立。 又語發聲。《史記·龜筴傳》:神龜知吉凶而骨直空枯。正義曰:直,語發聲也。
直娘的 直娘的,漢語詞語,拼音是zhí niáng de,意思是詈語。解釋 詈語。出處 《水滸傳》第四回:“ 魯智深 在外面大叫道:‘直娘的禿驢們,不放洒家入寺時,山門外討把火來,燒了這箇鳥寺。’” 明 徐復祚 《一文錢》第二出:“這直娘的!一文錢,又是拾的,到問我要幾百擔,且哄他一哄。”
道德經·曲則全,枉則直是一段古文,出自老子的《道德經》,釋義:委曲便會保全,屈枉便會直伸。原文 曲則全,枉①則直,窪則盈,敝②則新,少則得,多則惑。是以聖人抱一③為天下式④。不自見⑤,故明⑥;不自是,故彰,不自伐⑦,故有功;不自矜,故長。夫唯不爭,故天下莫能與之爭。古之所謂"曲則全...
直稱 直稱,讀音是zhí chēng。意思是猶直言。解釋 猶直言。出處 《晏子春秋·問下十六》:“誰曰 齊 君不肖!直稱之士,正在本朝也。”
孔子直謂聖愚一律,不容加損,所謂麒麟與凡獸並走,凡鳥與鳳皇齊飛,皆同類也。所謂萬物皆吾同體是也。而獨有出類之學,唯孔子知之,故孟子言之有味耳。然究其所以出類者,則在於巧中焉,巧處又不可容力。今不於不可用力處參究,而唯欲於致力處著腳,則已失孔、孟不傳之秘矣,此為何等事,而又可輕...
直恁,拼音是zhí nèn,漢語詞語,意思是指竟然如此,出自《京本通俗小說·錯斬崔寧》。解釋 猶言竟然如此。猶言簡直是,真真是。出處 《京本通俗小說·錯斬崔寧》:“官人直恁負恩!甫能得官,便娶了二夫人!”元 金仁傑 《追韓信》第一折:“一回家怨天公直恁困英豪,嘆良金美玉何人曉!”《警世通言·...
(51)學道之士,持誦此經:持誦,依本曰讀,離本曰誦,學道之士,若能解心正,道念不退,依法奉修如對太上,行住坐立,常持專一,是謂誦經。(52)即得十天善神,擁護其身:十天,指八方和上下。《因緣經》云:每月十直齋,各有善神直日,也為善神。且人有三業六根,身形之業,故有十惡。(十惡,...
並指出,人心流於人慾根源在於“私慾”,“蓋人心者,非直謂人慾也。其流易入於人慾,若流於人慾,則便為私邪。私之一字,百事之病。”尊周義理 宋時烈畢生讀朱熹著作,處處以朱熹的言行為根據,“言必稱朱子”。並模仿朱熹上宋孝宗的《己酉擬上封事》和《戊申封事》而給朝鮮孝宗上《己丑封事》和《丁酉...
直諒,漢語辭彙,拼音是zhí liàng,意思是正直誠信,出自《論語·季氏》。釋義 正直誠信。出處 《論語·季氏》:“益者三友……友直,友諒,友多聞,益矣。”例句 宋王安石《懷張唐公》詩:“直諒多為世所排,有懷長向我前開。”宋 蘇軾 《議富弼配享狀》:“秉心直諒,操術閎遠。”《宋史.卷二八二....
直遂,讀音為zhí suì,漢語詞語,意思是直的通道。謂直截表達。解釋 (1).直的通道。(2).謂直接達到目的;順利獲得成功。(3).謂直截表達。出處 唐 柳宗元《罵屍蟲文》:“以淫諛諂誣為族類,以中正和平為罪疾;以通行直遂為顛蹶,以逆施反鬭為安佚。”唐 柳宗元《寄許京兆孟容書》:“年少氣銳,不識...
直蹶蹶,讀音是zhí jué jué。亦作直橛橛。意思是挺直貌。解釋 挺直貌。出處 《紅樓夢》第六七回:“ 興兒 直蹶蹶的跪起來回道:‘這事頭裏奴才也不知道。’”《兒女英雄傳》第二六回:“這個樣兒的冷天,直橛橛的跪在風地裏。”趙樹理 《地板》:“我去地里看了一下,辣子茄子桿都還在地里直橛橛長著...
直薄,讀音是zhí bó。意思是直逼;直接接觸。解釋 直逼;直接接觸。出處 清 昭槤 《嘯亭雜錄·西域用兵始末》:“我兵追及之,侍衛 阿玉錫 以二十二騎直薄其營,呼噪突入,賊蠤潰。”柯靈 《香雪海·真實、想像和虛構》:“可是他始終不能深入生活的堂奧,直薄現實的核心,提出觀眾真正關心的問題。”
直掇,讀音zhí duō,漢語詞語,意思是古家居常服、僧袍。詞語出處 《傳燈錄》曰:‘普化謂市人乞我一個直裰。’林逋寄李山人詩曰:‘身上只衣粗直掇,馬前長帶古偏提。’蘇轍孔平仲惠蕉布詩曰:‘更得雙蕉縫直掇,都人渾作道人看。’按,說文,[袖-由+毒],衣躬縫也。集韻云:或作[袖-由+篤],[...
直說明言 直說明言是一個漢語成語,讀音是zhí shuō míng yán。意思是直接地說明,明確地表達,形容直截了當地陳述。釋義 直接地說明,明確地表達。形容直截了當地陳述。多用於言論方面。出處 清·李漁《閒情偶寄》卷1:“詞曲不然,話則本之街談巷議,事則取其~。”
直誠,讀音是zhí chéng。意思是①謂正直,真誠。②謂真心誠意。 繁體 直誠 拼音 zhí chéng 釋義 ①謂正直,真誠。②謂真心誠意 目錄 1解釋 2出處 解釋 播報 ①謂正直,真誠。②謂真心誠意。 出處 播報 ①謂正直,真誠。 唐 黃滔 《御試曲直不相入賦》:“小人曲媚,或乘造次以得時;君子直誠,可仗英明而輔...
直筒子市,是對未設縣級行政區、直接管轄鄉級行政區的地級市的俗稱。全國共有4個直筒子市,分別是廣東省東莞市、中山市、海南省儋州市、甘肅省嘉峪關市。行政範圍 地級市 大部分地級市:管轄市轄區、縣級市、縣(自治縣)等縣級行政區的市。直筒子市:直筒子市為地級市,一般由縣級市升格而來,由省級行政區...
強直,症名。多指身體某部肌肉之強直。《素問·至真要大論》:“諸暴強直,皆屬於風。”強直以頸項部尤為多見,亦可表現於周身肌肉。《內經知要·病能》:“強者,筋強;直者,體直而不能屈伸也。”多見於痙、癇、破傷風等病。參見痙、癇等條。詞語信息 詞目:強直 拼音:qiáng zhí 注音:ㄑㄧㄤˊ ㄓ...
《宋書·百官志下》:“太子出,則當直者前驅導威儀。”唐·王建《贈郭將軍》詩:“承恩新拜上將軍,當直巡更近五雲。”《水滸傳》第一○三回:“當直軍漢說:‘黑夜裡誰肯擔這干係,放你進去?’”宋·無名氏《張協狀元》戲文第五出:“只被當直蒿惱,日夜罵著伊。”錢南揚校註:“本謂值班。直與...
一、《姓氏考略》注引《國語》云:“‘晉之先有直柄。’為直氏之所出。”《中國古今姓氏大辭典》云:“此當系出姬姓。”是黃帝後裔。二、《姓考》記載:“舜裔直伯之後。”《國語》謂:“晉之先,直柄。”如此則當系出媯姓。追根溯源,則是黃帝後裔,因為媯姓出自黃帝之後。三、《姓苑》云:“楚人...
“王向子直謂韓與處士作牙人商度物價也。古稱駔儈,今謂牙,非也。劉道原云:“本稱互郎,主互市。唐人書互為□,因訛為牙。“理或信然。今言萬為方,千為撇,非訛也,若隱語爾。陳文惠堯佐以使相致仕,年八十,有詩云:“青雲歧路游將遍,白髮光陰得最多。“構亭號佚老,後歸政者往往多效之。公喜...
直拗,讀音zhí niù,漢語詞語,意思是固執,倔強,出自《香囊怨》。解釋 亦作“直抝”。固執、倔強。亦作“直抝”。曲直。謂聲調起伏有波折。出處 明·朱有燉《香囊怨》第三折:“我女兒性子直拗,累曾勸他留人接客,他不肯聽。”李健吾《末一個女人》:“沒有法子捉住她,滑得和魚一樣;不過她直拗起來...
以迂為直,漢語成語,拼音是yǐ yū wéi zhí,意思是用迂迴曲折的途徑達到近直的目的。出自《孫子·軍爭》。成語解釋 迂:曲折,繞遠。用迂迴曲折的途徑達到近直的目的。成語出處 《孫子·軍爭》:“軍爭之難者,以迂為直,以患為利。故迂其途,而誘之以利,後人發,先人致,此知迂直之計者也。”
