释义释义精确的陈述一个给定的公式的证明是什么。这是通过这个公式的在结构上归纳规定的：P∧∧-->Q{\displaystyleP\wedgeQ}的有序对有序对，这里的a是P的一个证明而b是Q的一个证明。P∨∨-->Q{\displaystyleP\veeQ}的证明是有序对，这里的a是0而b是P的证明，或者a是1而b是Q的证明。P→→-->Q{\displaystyleP\toQ}的证明是函数f:P→Q，它把P的证明变换成Q的证明。∃∃-->x∈∈-->S:ϕϕ-->(x){\displaystyle\existsx\inS:\phi(x)}的证明是有序对，这里的a是S的一个元素，而b是φ(a)的一个证明。∀∀-->x∈∈-->S:ϕϕ-->(x){\displaystyle\forallx\inS:\phi(x)}的证明是函数f:a→φ...

＂康＂字释义康这个字含义众多。首先指的是安、乐。屈原的《离骚》中说：“日康娱而自忘兮。”李善注曰：“康，安也。”《诗・唐风・蟋蟀》：“蟋蟀在堂，岁聿其莫；今我不乐，日月其除；无己大康，职思其居。”毛传：康，乐。其次指的是无病，康健。古乐府《孔雀东南飞》曰：“四体康且直，”说的是人的身体状况良好。其四是有广大之意。其五是褒扬，称颂。《易・晋》：“是以康侯用锡马蕃庶。”王弼注：“康，美之名也”。《礼记・祭统》：“康周公，故以赐鲁也。”再就是通“糠”，有空、荒之意。《（KONG）梁传・襄公二十四年》：“四（KONG）不升谓之康。”还有被称为地名和姓氏的。如旧西康省等。康氏的始祖为康叔，以谥为氏后裔称康。古代康居人或康国人来中国，以康为姓，汉有康孟祥（康居人），唐有康谦（康国人）。康的另一含义是通亢，高举。《礼记・明堂位》：“崇坫康圭，疏屏。”郑玄注：“又为高坫，亢所受圭奠于上焉。”孔颖达疏：“亢...

“周”字起初是一个象形字：即字。一、：表示田间阡陌纵横，中间种植有繁密的庄稼。①这与《史记》记戴周氏始祖—后稷自小喜欢裁培种植，教授人们种地的技术，帝尧任命他作农官，粮食连年丰收，天下人多获其利，在农业方面有特殊贡献，死后被人们尊为农神等方面有关。②从字形上看，与奴隶社会的井田制的“井田”有关，字就象井田。二、“”—周密的意思。①最早的“周”字出现在殷墟以及周原出土的卜辞中。《甲骨文合集》、刘鄂《铁云藏龟》等含有周字的卜辞及在岐山出土的西周文、武王时期的周原甲骨文有含周字的都是—密闭形状：。“”像界划分明之农田，其中小点像禾稼之形、即田界包围着密密的庄稼。②周字在《解文说字》中解释：“周、密也。从用、口。”段玉裁《说文解字注》解释为：而从用、口，则表示“善用其口则密，不密者皆由于口。”周密、严密、保密都有关于口。所以“周，密也。”③姬周的“”是加“口”的周，不加口的“周”是殷商早期的“周”...

明姓释略明承轲中国姓氏文化是中华传统文化的一部分，《姓》所记载的中国姓氏包括少数民族的姓氏共三千五百余个。中国早期的姓源于新石器后母系社会，女性在当时社会活动中承担着生产，生产要素等重要的物质需求，男性只承担着狩猎体力等一部分活动。母系社会中以女性相传，祖传母，母传女，因不能同族为婚所夫皆为外族，所出之后因不同祖母而又分不同之姓。同一姓则表示同一个母系血源所出，故早期的姓有：娲，姜，姚，姬等带有女字的姓，表示一些不同老祖母所传氏族人群。这充分代表了女性在当时的地位和姓与氏的不同。故母系社会女以姓，而男以氏而分。在过渡到父系社会后，男性仍只有氏，氏在当时社会中是一种阶级制度的体现。姓是从居住的部落，城邑，村落或所属的部落名称而来，氏是从君主所封的采地，所赐的爵位，或担任的官职，追加的谥号而来。贵族有姓有名也有氏，一般平民有名没有氏。从早期的人物三皇五帝来看皆有氏而无姓。追宗溯源都能理顺到母系...

南阳郡：春秋战国时期称南阳的地区颇多。鲁国的南阳指泰山以南、汶水以北地。晋国的南阳指太行以南、黄河以北地区。战国时期魏国的南阳，一部分属韩国（戊戌，公元前263年，秦国大将白起进攻韩国取南阳，韩本部与上党郡被分隔）伏牛山以南、汉水以北地亦称南阳，分属韩楚。秦朝时期南阳郡设于秦昭王三十五年（己丑，公元前272年）为秦国夺取楚国之地而设，治所在宛县（今河南南阳）后秦国大将白起在秦昭襄王四十四年（戊戌，公元前263年）进攻韩国克取了南阳，使韩国本土与上党郡被分隔，以宛为治所，置南阳郡。两汉之际，南阳郡辖二十六县，其时辖地在今河南熊耳山以南叶县内乡之间和湖北省大洪山以北应山郧县之间的大部分地区。隋朝开皇三年（癸卯，公元583年）被废黜，隋大业三年（丁卯，公元607年）复置。唐朝初期又被废黜，唐天宝初年（壬午，公元742年）曾改邓州南阳郡为良穰县（今河南邓县）治所。元、明、清诸朝的南阳府治皆在南阳，...