美国数学中的Contingency,Tautology,分别是什么意思？

1、永真式指重言式。重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。2、永假式指矛盾式。矛盾式又称永假式、不可满足公式，是逻辑演算的一类公式。如果对任意一个赋值V，都有V[A]=0，即公式A对任一赋值均取“假”值，则公式A为矛盾式。在逻辑演算中，公式按取值情况分为三种：对任一赋值都取“真”值的为恒真式，恒真式在命题演算中为重言式，在谓词演算中即为普遍有效式；对某些赋值取“真”值、对某些赋值取“假”值的为可满足但非恒真式；还有一类即为矛盾式。其中普遍有效式表达一定的逻辑规律，而矛盾式则表达一的逻辑矛。扩展资料：相关定理定理1： 任何两个重言式的合取或析取，仍然是一个重言式。定理2：一个重言式，对同一分量都用任何公式置换，其结果仍为一重言式。定理3：设A,B为两个命题公式，A和B逻辑等价当且仅当双条件命题“A当且仅当B”成立。定理4：设A,B,C为合式公式，若A蕴含B且A是重言式，则B也是重言式。定理5：若A蕴含B，B蕴含C，则A蕴含C，即蕴含关系是传递的。

套套理论，【套套逻辑】（tautology）。数学上称为重言式。经济学上由张五常引入国内（他曾在书中提到，1960年在加州大学作为学生时，上了卡尔纳普的逻辑学课程，由此深受启发）。套套理论一般化得离谱，在任何情况下也不可能是错的「理论」。不可能错，是因为完全没有内容。这就是哲学上所说的套套逻辑（tautology）。特殊理论内容繁多，而套套逻辑则没有内容。所以张老认为：“可取的理论（即具有理解力的理论），一定是在特殊理论与套套逻辑之间。”

tautology(重言式或永真式)Definition:A compound proposition that is always true, no matter what the truth values of the propositions that occur in it, is called a tautology(重言式或永真式). 离散数学里的吧?contradictory矛盾式contradiction（or contradictory矛盾式）satisfiable（可满足式）希望你发现有帮助 ^_^

aruto翻译成中文是塔鲁托

-nomy表示“法则”, “学科”, 如:economy, astronomyastronomy天文学-logy表示“...学”, “...论”, 如:philology 表示“语”, “词”, 如: tautologyastrology占星术, 占星学(以观测天象来预卜人间事务的一种方术)geometry几何学，几何图形[形状, 结构, 条件]，几何学论著geography 地理(学)；地形, 地势；地理书; 地志，(生产, 建设等的)布局, 配置geology 地质学只好好特殊去记忆了。

“socket”被国内翻译成“套接字”，这么多年我一直搞不懂这个词是啥意思，最近一不小心查到了，“socket”的意思是插座才恍然大悟。

经济学要怎样学才对（一） 今天要跟你们谈的是怎样学好经济学，把自己当年的经验择其优而舍其劣，也就是我今天认为经济学应该怎样学才对。首先要说的，是如果你跟着我建议的方法学，在大学考试，或到外地争取什么博士，凶多吉少。我走的是实证经济学的路，着重于理论的实用性，不花巧，写出来的学术文章不一定可以打进今天的国际学报。昔日可以，今天或多或少有点困难，虽然某些学报编辑记得我这个人，可能给个面子。当年在西方发表的文章，今天还有人记得，但在「格局」与思维上，与今天的是不同的了。 不容易解释发生了什么事。我的经济学很传统，从史密斯到李嘉图到米尔到马歇尔到鲁宾逊夫人到凯恩斯到费沙等，我都读得认真。跟着是森穆逊、阿罗、史德拉、佛利民、艾智仁、赫舒拉发、普纳、高斯等较为近期的，也读得认真。可以说，一九六五年之前的文献我读得多而透。六五到六九年间，我转攻资料性的读物。一九六九之后，自己不再进图书馆，要什么资料由助手替我找寻。大约一九七二起，我谢绝替学报评审文章。行内朋友找我研讨，懂得一定奉陪。一九八二回港任职后，通讯没有今天那样方便，交谈是减少了。喜欢魂游四方，不熟知我的人不容易跟我交谈。像巴赛尔那种愿意跟着我魂游的行内君子不多。 我认为一个人在求学时要多读他家之作，但当自己进入了创作时期，要重视的还是自己怎样想。我的经济学底子很传统，比今天的新秀传统得多了。熟读传统，有欣赏的也有不欣赏的。选择自己认为可取的发展下去，过程中修改了不少认为有不足之处的前贤之见，而好些认为一无是处的，淘汰了。 这样的发展不是很有意思吗？夸夸其谈的背后，知道自己沧海一粟，多我一个不多，少我一个也不少。一士谔谔地走自己的路，走了三十年，心领神会，对自己的进度是挺满意的。但当我偶尔翻阅今天的经济学报，不容易见到自己熟知的传统。术语好些还是以前的，但看不到传统的思维。新秀们放弃了传统，我则认为史密斯的传统怎样也不要放弃。 回头说自己的经济学着重于实用性，是指解释力，解释人的行为，解释因为人的行为而引起的各种现象。我认为解释现象是经济学的唯一用途，没有其它。福利经济学是废物。不是说不应该关注社会福利，而是任何人都可以是「专家」，不需要读过经济。二百多年来，经济学无法证明，从某甲手上拿了一元，交到某乙的手上，社会福利会改进或改退。 学经济可以协助赚钱吗？可以找到一份较好的工作，或减少受骗的机会，但我没有遇到过一位富豪是经济学家。我自己母亲的投资命中率比我高，但她连书也没有读过，不识字。经济学可以协助政府决策吗？可以解释怎样的政策会有怎样的后果，但如果关心政府会否接受你的建议，不被气死才奇怪。 解释是任何人都可以做的，但这里说的是科学解释（scientific explanation）。一门科学往往由一些没有学过的人想出来。我们是后学，学经济是学经济科学了。科学有科学的规格。任何人接受这规格，同意其中的理论，那么任何人对同一现象的解释，大致上应该相同。物理、化学、生物学都有这样的一般性。这方面，经济学比较麻烦：自称是经济学家的五花八门，懂的不懂的各持己见，忽略了经济科学的规格。史德拉（G. J. Stigler）曾经对我说：「如果你说自己是个物理学家，听者会回应：『物理学我不懂。』不再说下去。但如果你说自己是个经济学家，听者会回应：『经济学吗？我不懂，但我认为……』跟着滔滔不绝。」 其实作为科学，经济在规格上与物理或其它自然科学没有什么不同。方法是一样的，而其可靠性也没有多大分别。后者很多人不同意，认为经济不是一门精确的科学（not an exact science）。他们认为经济学的推断往往模棱两可，或各各不同，没有像物理学那种精确的解释力。 为此我曾经举出一个简单的例子，今天一些美国的教授「盗」而用之，使我高兴。四十年前在美国教学生时，我说：「如果我把一张百元钞票放在有行人的街道上，没有风吹，也没有警察，我敢打赌，这张钞票会不翼而飞，不见了。有谁敢跟我打赌？一百博一？一万博一？要赌的请站出来。」这就是了。物理学、生物学、心理学、化学，都无从推断或解释那张百元钞票为什么会不翼而飞。在人类发明的所有科学中，只有经济学可以推断，可以解释，而其准确性与物理或化学等自然科学是一样的。当然，在某些情况下，该钞票可以相当持久地留在地上，正如秋天的黄叶无风自落，但秋风起黄叶却可飘到天上去。 「某些情况」的指定是重要的。科学方法称之为验证条件（test conditions），经济学则称为局限条件（constraints）。这就带来推测与预测之分。推测是要指定条件的。条件是真实世界的条件，可以观察到。条件不对，推测的效果往往不同。推测与解释是同一回事。在我指定的条件下，推测百元钞票会在街道上不翼而飞，逻辑说，等于我解释了该钞票为什么会消失。推测是prediction，是解释，永远有条件。经济推测要指明局限条件，有时不言自明，用不着说出来，但有时不说清楚条件为何听者或读者会被误导。不管条件的推断不是推测，而是预测，forecast是也。这是看水晶球，或者是看风水。不是科学，但相信水晶球的人甚众。风水先生这个行业有了数千年，历久不衰。 举个例子吧。我称「推断」股市走势的图表派为风水派。什么三角形呀，什么双肩呀，等等，是没有条件指定的。这是预测。从经济学的角度看，预测股市的图表派没有指明局限条件及局限的转变。这是看风水，有人为之发达，也有人为之破产，但人还是人，不少相信，所以风水先生有收入。 科学是有法则的，逻辑的法则，科学的方法（The Methodology of Science）是也。逻辑属哲学系，可能是人类最湛深的学问，深得有点发神经，不主张同学们钻进去。然而，基本的「方法」逻辑重要，尤其是对中国的青年来说，多多少少总要知一点。 我曾经是二十世纪哲学逻辑大师加纳（R. Carnap）的学生，不是入室弟子，但算是得到少林方丈指点过一两手。是二十世纪大名鼎鼎的维也纳学派的思维，在三卷本的《经济解释》的首卷《科学说需求》中的第一章——《科学的方法》——我从经济实证的角度解释过了。写于一九八九年，那章写得称意而重要，同学们要一读再读。说重要，因为那是我知道的唯一的从经济实证的角度论科学方法。科学方法的哲学逻辑走进了象牙之塔，走进了一个圣殿，其中的大师君子不能分身参与实证科学（empirical science）的研究工作。我学了象牙塔内的一小点就跑出来，作了多年的实证研究，然后回顾塔中所学，以自己的实证或验证经验与逻辑哲学互相印证，写成了该章。 该章很长，这里不重述。要说的重点，是科学不是求对，也不是求错，而是求可以被事实推翻。可以被事实推翻但没有被推翻，科学理论就算是被证实或验证（confirmed）了。A theory cannot be proven; it can only be confirmed——同学们要记着这句话。Proving与confirming不同，在实证科学中有着微妙而重要的分别。前者是证实了，不可能错，正如数学上证实了的定理。后者呢？以中文言之也可说是证实，较为正确是验证了是对的，没有错。但验证了的对，还可能错，对了无数次还可能错。可以被事实推翻（可以错）但没有被推翻，英文字是confirm——还可能是错的证实。文化不同，严格来说，中文没有这个字。 我自己在经济科学方法上的主要贡献，是指出与坚持，验证理论一定要用可以观察到的变量。浅得离奇，对得无话可说，但经济学者一般不重视。或者说，他们认为那样浅，是小儿科，没有想深一层，无从验证的却认为是验证了。说什么意图，谈什么意欲，又或者搞什么博弈、什么偷懒出术的，在真实世界看得到吗？不是说人不会博弈，但在观察上我们怎可以知道？我看着一个貌美如花的女人，目不转睛，意图相当明显，但我可没有动手动脚，你怎可以知道我的意图是什么？要以我的行为验证你的理论，你只能说我目不转睛地看着那个女人，因为是事实，可以观察到，而如果换了一个男的，我忙顾左右，也可以观察到，也是事实。如果你发明了一个「异性相吸」的理论，你只能从上述的可以观察到的行为验证。我不认为今天盛行的博弈理论是可取的实证科学，因为其中无从观察的变量太多，不能验证。 一般而言，科学的起点是一些武断的假设，称公理（postulate或axiom）。通常不真实，往往抽象。所谓公理，是参与的人不准在公理上争辩。经济学的第一个公理是所有人的行为都是个人选择的结果。跟着的第二个公理，是每个人的所有行为，都是在局限条件的约束下争取最大的利益——我曾经称之为「自私的假设」——又称局限下争取极大化（constrained maximization）。这就带来一个难题：「极大化」用什么来量度呢？财富（wealth）、收入（income）、盈利（profit）、租值（rent）、功用（utility）——都有经济学者采用。 出自洛杉矶加大与芝加哥大学的传统，我首先淘汰了盈利，因为盈利是意外的收获，逻辑说不可以刻意地争取。行内最普遍地采用的是「功用」，但我个人从开始就避之则吉。这是因为功用是空中楼阁，二百年前由边沁（J. Bentham）想象出来，真实世界不存在。功用是个变量（variable），科学理论往往有无从观察的变量存在。从开始写博士论文起，我知道验证只能靠可以观察到的变量，无从观察的以少为妙。功用不是真有其物，多个香炉多只鬼，可以不用当然不用。 话虽如此，同学们对功用的理念是要深入认识的。不需要用，但要知道其中玄机。这是因为功用理论经过多年发展，带来了两方面的重要思维。其一是以数字排列选择。不管用什么名目来排列，这排列重要，而熟知功用排列的哲理，对极大化的思维有助。其二是近代的功用排列，用序数（ordinal numbers）。序数是以数字分高下，不比较数字之间的差距，也即是说数字不可以加起来。从选择的角度解释行为，选择的排列重要，而从边际转变的角度论选择，我们是不需要顾及数字之间的差距的。 用上功用理论的理念，却放弃了以功用作为量度选择的工具，在经济学行内不止我一人，但恐怕不及一掌之数。我认为功用量度在行内盛行，主要是数学方程式可以写得漂亮。我的兴趣是理论的实用性。真实世界不存在的变量，以少为妙，可以不用不应该用。在从事解释行为或现象的经济学者中，喜欢以功用量度而又用得最出色的，应该是贝加（G. S. Becker）。个人认为，贝加可以解释的，我可以不用功用方程式也解释得到，而用上功用量度，好些时会中套套逻辑（tautology）之计，高明如贝加也不一定避得开。 方程式，方程式！同学们要用我当然不反对，但千万不要因为好看或显得有学问而用之。好看，却比不上流畅的文字。学问吗？有就有，没有就没有，方程式是不能把学问加上去的。同学们要学数，花一两年工夫值得。一般学子没有戴维德或高斯或奈特的天赋，数学于是对思维有助。如果有史密斯的天赋，学数更是多此一举了。 量度极大化，我有时用财富，有时用收入，有时用租值。各有各的方便之处，也各有各的困难。「财富」的困难是要靠利息率的存在，而没有市场则没有利息率。「收入」的困难是秒秒不同，这秒高那秒低，不一定是选这秒的。「租值」的困难是要在特别情况下才可以用。我自己三者皆用，看情况而定，而如果集中于边际转变来处理选择，大有可为：解释行为只须从边际看。这些我在《经济解释》的卷二——《供应的行为》——分析得清楚，这里不说了。在量度极大化这个话题上，于今回顾，当年有三项读物给我深远影响：A. A. Alchian，The Meaning of Utility Measurement；R. Strotz，Cardinal Utility；I. Fisher，The Theory of Interest。后者开头的一百五十多页最重要，非读不可。 同学们要花相当长的时间去掌握量度极大化的几种价值选择。不是价（price），而是价值（value）。价是另一回事，属于局限那边，是后话。 不能肯定同学们要花多少时日，才能充分地掌握量度「极大化」的几种价值，懂得遇上怎样的问题要选用哪一种。首先是要掌握前文提到的几种价值概念。我推荐了几项读物，而自己的心得都写进了三卷本的《经济解释》的首两卷中。不要轻视这些价值概念。西方的经济学发展了二百多年，到今天，大致上这些概念可取而重要。原则上，这些概念的正确掌握，几个月的工夫足够。困难是不同读物有不同的说法，而不同教授所说的也往往不同。实在太多不懂的人写书或教学了。能通透地掌握价值概念的经济学者不多，而能掌握局限条件（constraints，价值的另一面）的更少。 经济是一门重视概念的科学。可取的理论不多，也不难，远不及自然科学那样湛深，但概念的变化多，一般性大，而概念掌握得稍有差池，简单理论的威力就发挥不出来。这样，从事者逼着把理论搞得复杂，用上「拓朴」等湛深数学。是今天的「主流」吧，但我没有见到这样的文章，对基础概念掌握不足的，能成功地解释现象。同学要掌握正确的概念，但读物胡说，老师不懂，很麻烦。同学们于是要讲一点际遇，明师难求，懂得选择读物是起码的要求了。 说过了，经济解释是解释人的行为，以及人的行为引起的各种现象。史密斯的伟大传统说人的行为是个人选择的结果，我们接受，而加上小孩子也能明白的数学理念，「在局限条件下争取极大化」这个公理就成为新古典经济学的传统。这公理直白，浅的，没有玄机，困难是概念的掌握：极大化的量度价值概念与局限变化的概念。局限是约束，经济学翻为成本、代价、价格等，牵涉到资源、产出的边际下降，而在社会中则要加上最难处理的产权及交易费用。 这就带到经济解释的重心所在。所有经济解释都环绕着如下一个问题：某些局限变了，人的行为会怎样变呢？想深一层，人的行为变了，牵一发而动全身，其它局限会变，人的行为又会怎样变呢？社会的整体又如何？本来是简单的学问，一下子复杂起来。 局限有变，人的行为跟着变，但要解释或推断这行为的变动，行为不可以乱变一通，不可以像阿康那种「无定向风」。要解释或推断行为，行为一定要受到约束，而在科学上——任何科学——约束行为的规律就是理论了。经济学的结构是简单的：局限怎样变，人的行为一定会跟着怎样变，而约束这「一定」的规律，主要是那大名鼎鼎的需求定律（The Law of Demand）。经济学有不少定律，或有不少理论，但大部分可有可无，只有需求定律不可或缺。没有需求定律就没有西方经济学，事情就是那么简单。原则上，所有其它经济定律都可用需求定律代替，又或者所有其它经济理论都可从需求定律变化出来。任何理论，不论微观或宏观，某一点违反了需求定律，该理论一定错！所以同学们要学好经济理论，一半以上时间要集中于需求定律。其它的多知一点无妨，但如果同学对需求定律的理解与体会，可以给我打上七十分，其它的理论一概不知也算到位，是个及格的经济学家了。 需求定律说，任何物品，何时何地，价格下降其需求量一定上升。不容许有任何例外，因为如果有例外，理论就不可以被人的行为推翻，无从验证，所以不能解释人的行为。同学们都知道，经济课本说有吉芬物品这回事。吉芬物品是指那些价格下降需求量跟着下降的物品，或价格愈高需求量愈大——这是推翻了需求定律。逻辑说，吉芬物品可以存在，正如逻辑说万有引力可以失灵。这就是困难：如果吉芬物品被容许在真实世界存在，而我们不能事前划分哪些是吉芬物品哪些不是，那么人的任何选择行为都不可能被需求定律推翻，也即是说该定律无从验证，于是半点解释力也没有。所有的经济学概念及其它理论皆要与需求定律挂钩，没有该定律，经济学的整个架构就会倒塌下来。 上世纪五六十年代时，不少价格理论大师尝试在逻辑上把吉芬物品推出门外，都不成功。我在六十年代搞起了风浪，指出在几个不同的假设下，吉芬物品可以被拒诸门外，但因为用上无从观察的变量，不妥。后来还是接纳了史德拉与艾智仁的办法，把需求定律作为一个公理（a postulate），武断地不容许吉芬物品存在。一九六六年，在加州长堤大学任教职，我对同事E. Dvorak指出，逻辑上，吉芬物品不能在市场成交，只可以在一人世界或永远不交换的物品出现，把他吓了一跳，大叫天才。但既然吉芬物品可以武断地废除，我的天才不值钱。虽如是，三十多年后我还是把该推理写进《科学说需求》的第四章第六节。（这里要向同学解释一点。今天的经济学教科书，吉芬物品一般存在。教科书是为了赚钱，或起码要有出版社收容，否决吉芬物品的存在不容易卖出去。可见一般大学里的教授，对经济解释是没有兴趣的。） 回顾平生，在需求定律这个重要话题上，对我影响最大的读物是佛利民的《马歇尔需求曲线》（M. Friedman, The Marshallian Demand Curve）。虽然有好几处我不同意其分析，但该文对需求的经济思维实在好，今天的同学还要一读再读。整体而言，需求定律分析得最详尽的，应该是我于二○○一年发表的《科学说需求》（《经济解释》卷一）。该卷分析的何谓价、何谓量、不变量的选择、品味不变的假设、消费者盈余、否决剪刀论，等等，大部分不能从其它读物找到。不全是我的发明，而是经过多年从读物及师友间的吸纳，经过自己不断地在街头巷尾找现象印证，左改进右改进，日夕思想到过了退休之年，知道打通了经脉，全盘掌握，毫无沙石，才动笔写出来的。 这里有一个要点——非常重要而又头痛的——同学们要注意。这是需求定律（或需求曲线）所说的需求量（quantity demanded），是一个无从观察的变量（variable），真实世界不存在。我们可以观察到的变量是成交量（quantity transacted），不是需求量。需求量是一个意图之量，是经济学者想象出来的，不真有其物。于是，经济学分析的短缺（shortage）或剩余（surplus） 都是空中楼阁，真实世界不存在，靠这些理念作经济解释不可能不是废物。我说过，一个假说（hypothesis）的验证必定要用上两个或以上的可以观察到的变量，但理论的起点往往要用无从观察的变量，然后通过逻辑，推出可以观察的变量才能作假说的验证。这样看经济分析，可以避免的话，无从观察的变量愈少愈好。需求定律中的需求量无从观察，但这定律不可或缺，所以需求量是经济学中唯一的我不能不接受的无从观察之物。处理经济解释的一个重点，是要懂得怎样把真实世界没有其物的需求量（一个概念上的变量），按着逻辑的规格，带到可以观察的成交量或其它现象那边去。《科学说需求》的第六章对这个问题交代过、解释过怎样处理。 以为需求量可以观察到，或以成交量作为需求量的研究分析，无数，都是废物。 凯恩斯曾经说：「比起其它科学，经济学困难吗？不难，是容易的学问，但杰出者甚少。」我同意这判断。凯氏认为经济学难以杰出，因为某程度上从事者需要是个哲学家、史学家、数学家、文学家、艺术家……周身刀的。这观点我不一定同意。我认为经济学难达大成，主要是概念不容易掌握，理论太多，搞得太复杂，而最大的困难是从事者对真实世界知得少，知得太少了。像戴维德、高斯那种人，不懂或不用数，理论知得不多，但他们对基础理念有充分的掌握，对世事知得多，足够。 我们不需要有这些大师的天赋才可以达到师级的层面，但要懂得学习的方法。我自己走过不少冤枉路，误入歧途好几次，可幸及时惊觉，回头是岸，再走。尝试又尝试，终于找到自己的路，打上去。教同学，我只能把自己的经验申述一下。 我认为重要的起点，是入门者要知道经济学的基础理论架构，跟着是掌握这架构中的概念与简单理论。有了基础，不妨尝试比较复杂的理论。天赋奇高可以不管复杂的，但我的经验，是猛攻一阵复杂的，再回到简单的基础会有新的理解。三十岁前，我来来回回好几次，到三十五岁，知道基础架构的掌握充分，概念的理解通透，就再不管复杂的理论了。 这架构就是前文说过的：一、人的行为是个人选择的结果；二、选择的第一个公理，是在局限下争取个人利益极大化；三、量度极大化的价值概念与局限概念皆重要，掌握不能有差池；四、局限转变引起的行为转变，要受到约束，而这约束主要是需求定律。 这就带来我个人认为是经济学最难处理的地方。局限转变带来的行为转变，要受需求定律的约束。需求定律是约束价格的转变与需求量的转变。因此，要解释行为，任何局限转变，处理的人必须或明或暗地把局限的转变翻为一个价的转变。不容易。更头痛的是，很多行为不通过市场，需求量不一定是市场成交的物品。可幸的是，需求定律的用途，不限于市场物品。任何有价值的物品这定律都可以用，包括声誉、友情、信仰等。不在市场成交，没有市价或价格，用需求定律可以不用市价。非市场的物品，价格变为代价，也即是成本了。 「成本」是cost的中译，不大正确。较佳的译法是「机会成本」，有点不妥，因为经济学没有不是机会成本的成本。最好的译法应该是「代价」，但说「生产代价」中文不容易接受。比起其它科学，经济学是格外重视概念的，而其中最难掌握得好是成本的概念。懂得把任何局限转变翻为成本转变，也即是翻为代价转变，需求定律的运用就过了最困难的一关。可以相当复杂：一项局限的转变可以牵涉到好几方面的需求，因而牵涉到好几方面的代价转变。学而时习之，熟能生巧，我自己到四十岁后，得心应手，任何局限转变，想到与某方面的需求有关时，代价的升升降降立刻知道。 《经济解释》的卷二（《供应的行为》）对成本有详尽的解释，而卷三（《制度的选择》）分析产权与制度，带到社会成本（代价）那方面去，也说得详尽。同学要注意，有些价值，可以倒转过来看为成本，例如租值。又例如利息是收入，转换角度可以作为成本看。三十年前，与老师艾智仁研讨某话题，书信来来回回好几次，其中一次我写道：「利息不是成本的局部，而是成本的全部。（Interest is not a part of cost, but the whole of cost）」他回信大赞，显然认为我学满了师。 成本的正确概念本来就不容易掌握（见《供应的行为》），而加上产权问题、交易费用、非市场物品等，「成本」或「局限」的转变来得更复杂了。然而，要通过需求定律来解释人的行为，我们一定要把局限的转变翻为价或代价的转变。要记着，凡是转变，不管是代价还是行为，一定是「边际」的，所以解释行为或现象要从边际转变的角度入手。这又带到序数量度或排列选择给我们的方便了。那些批评交易费用难以量度或无从量度，因而没有用场的众君子，是经济解释的门外汉。 有一件事不妨一提。杨小凯曾经批评我不懂得边际分析，但巴赛尔却说边际分析我用得出神入化。二者有冲突吗？不一定。小凯是搞数学经济的，没有作过实证经济研究，从始至终停留在象牙塔内。我是搞实证研究的，数学的边际分析只学几天就认为足够（考理论当年永远第一），早就跑出象牙塔，走到真实世界中，落手落脚地搞起来。在真实世界看边际转变，可以小若沙尘，可以巨似泰山。数学的边际分析与验证的边际处理是两回事。 这就带来我要说的实践经济学的重点。要解释行为，局限的转变不可以子虚乌有，其转变一定要有可以观察到的事实支持，而如果交易费用等转变不容易一分一毫地量度，以序数排列转变的或大或小有可为。然而，局限转变不易体会，翻为一个价或代价的转变也困难。可以做到，不易。这里要说的重点，是处理真实世界的局限转变，一般不是一个市价转变那么简单，绝大部分不可能从课堂上学得，也不是博士之后坐在办公室内可以知道。同学们从开始的现象作验证。要多做，甚至天天做，开头会觉得经济理论没有什么解释力，但坚持下去，「破案」的实例会愈来愈多，过了几年会觉得复杂的世界一般有简单的理论解释。 是难以自圆其说的现象。所有实证自然科学，不管是物理、生物或化学，学生从中学起就要做实验室工作。经济也是实证科学，但就是进入了大学也没有实验室课程。真实世界是经济学的实验室，大家生活在其中，但大学的教授可没有规定学生要到处观察，不断地试行解释，而那些所谓「实验」课程，只不过拿着些不知怎样弄出来的数字，作些什么统计分析。

英语如今在网络上很常见，可以以网络为研究对象，具体看其中不同行业使用的英语词汇，如流行音乐，房地产，网络游戏等。需要上一些国外的网站，也可以同老外网聊，收集信息或调查。 还可以比较一下中文和英文的语法差异，对中国人学英语碰到的问题做一些调查，提出建议。总之如果是大学本科水平的论文，理论上不可能有什么大的突破，只能在实地调查，或是反映一定问题上下功夫，英语的语言学研究都多少年了，能探讨的理论都有了恨深的研究，所以还是从实际出发，那就天地广阔了。

Confucius"s father told Ge, word uncle liang, is a small attaches 481b.c position, he is strong. Once, several governors to smite a call forced state Yang (now in shandong Yi county south) small, lu also attended. Holes in the army Ge 481b.c. When they scored advocating manufactory, ShouCheng man put a gate down, first into the city"s team was partition in town see again, at this moment the hole Ge but with handed the gate a lift, set off, first into the city"s army was able to completely back. This happened during the year 563 B.C., from Confucius was born and twelve years sonar (1). And once, hole Ge and other two 481b.c generals, and three hundred warrior, beat back the qi of depressions. This happened in in 556 BC, only 5 years (from Confucius was born. This is what we are just know about Confucius father"s deeds. Confucius"s mother"s maiden name, that features in intensive. When the hole Ge marry her, she is very young, but Ge has holes on the old (3). Their marriage is not after the then social traffic on the complete formalities, therefore suffered social put-downs. ... According to shi-ji Confucius family "account, Confucius ancestors are shells seed. Week after ZhouChengWang sealing, destroy shang shang shang, zhou"s ordinary elder brother, loyalty is the MingChen micro son rev in song dynasty. Previously the shangqiu (now henan shangqiu area). Micro son rev died, his brother micro para-ammonium style-came, slightly para-ammonium namely for the ancestors of Confucius. Since Confucius ShiZu KongFu jia after six, offspring start with the hole, its name for preventing great-grandfather hole in order to escape from song domestic tert-butyl disorderly, from 475-221 B.C. fled to 481b.c. Confucius"s father uncle liang Ge (uncle beam for words, Ge name) is lu famous warriors, uncle liang Ge first married ShiShi, born nine women, and none of his concubine born a son meng skin, but it had foot disease. In the situation, women and disability son shoulds not be"s surname. Uncle liang Ge senectitude and young woman YanShi gave birth to Confucius. Due to the mother had to Confucius nehemiah prayed, and then wiles QiuShan Confucius, and because under KongZiGang birth among the overhead, like that QiuShan concave, Halls mound, word ZhongNi (lasalle for the second meaning, uncle liang Ge firstborn for meng skin, meng as the first meaning). Confucius age three, uncle liang Ge in 2002, after, Confucius family quite poor. For various reasons, Confucius politically without excessive as, but in governance 481b.c three months, it serves to Confucius is worthy of distinguished statesmen of the title. Political not satisfied, make Confucius can be used in a large part of the energy education career. Confucius served with disciple, after SiKou 481b.c travel around ten years before finally return to 481b.c and concentrate on the coach. Confucius broke, creating a private education monopoly pioneer. Confucius" disciple as many as three thousand, including sages 72 bits, many of them are senior beams for all countries.孔子的父亲叫纥，字叔梁，是鲁国一个职位不大的武官，他很有力气。有一次，几个诸侯国家去攻打一个叫逼阳（在现在山东峄县南）的小国，鲁国也参加了。孔纥就在鲁国的军队中。当他们攻入倡阳城的时候，守城的人把一种闸门放了下来，先入城的队伍眼看就被隔断在城里了，这时孔纥却用双手把闸门一掀，掀起来了，先入城的军队才得以完全退出来。这事发生在公元前563年，离孔子出生还有十二年呐①。又有一次，孔纥和其他两个鲁国将领，率领三百武士，打退了齐国的侵扰。这事发生在公元前556年，离孔子出生只有五年②。这就是我们所仅仅知道的关于孔子父亲的事迹了。 孔子的母亲姓颜，叫徵在。当孔纥和她结婚的时候，她还很年轻，可是孔纥已经上了岁数了③。他们的结婚是没有经过当时社会上所通行的完备手续的，因此遭到了社会上的奚落。 …… 据《史记·孔子世家》记载，孔子的祖先本是殷商后裔。周灭商后，周成王封商纣王的庶兄，商朝忠正的名臣微子启于宋。 建都商丘（今河南商丘一带）。微子启死后，其弟微仲即位，微仲即为孔子的先祖。自孔子的六世祖孔父嘉之后，后代子孙开始以孔为姓，其曾祖父孔防叔为了逃避宋国内乱，从宋国逃到了鲁国。孔子的父亲叔梁纥（叔梁为字，纥为名）是鲁国出名的勇士，叔梁纥先娶施氏，生九女而无一子，其妾生一子孟皮，但有足疾。在当时的情况下，女子和残疾的儿子都不宜继嗣。叔梁纥晚年与年轻女子颜氏生下孔子。由于孔子的母亲曾去尼丘山祈祷，然后怀下孔子，又因孔子刚出生时头顶的中间凹下，像尼丘山；故起名为丘，字仲尼（仲为第二的意思，叔梁纥的长子为孟皮，孟为第一的意思）。孔子三岁的时候，叔梁纥病逝，之后，孔子的家境相当贫寒。由于种种原因，孔子在政治上没有过大的作为，但在治理鲁国的三个月中，足见孔子无愧于杰出政治家的称号。政治上的不得意，使孔子可将很大一部分精力用在教育事业上。孔子曾任鲁国司寇，后携弟子周游列国十四年，最终返回鲁国，专心执教。孔子打破了教育垄断，开创了私学先驱。孔子弟子多达三千人，其中贤人72位，其中有很多皆为各国高官栋梁。

失业 会造成生产停滞 从而导致工厂没有能力经营 从而导致国家经济的亏损但是失业其实也是国家宏观调控的失误因为宏观调控的失误 导致市场的不平衡 市场不平衡导致了供求关系 需求量等不平衡 如果下班秋凉不平衡 那么所需的商品就会减少 这样一来企业生产的商品全部都压积 最终导致失业

One, in the--by the evolution of Chinese clothing forsame-sex(a) symbolic mean significantIn ancient Chinese clothing aesthetic judgment, the body of dressCheck is by no means simple subjective feeling, but more on the way of to ChinaDE norms, social system and a deep understanding of the aesthetic culture foundationTo make aesthetic judgment. China"s clothes for the body of the table ", in a big wayDegree, in the role of clothing person often abstract for a symbol, itRefer to the significance of more than actually used the function and decorate function.1. From design features for, Chinese clothing modelling through the designDot, line, face, etc. Various kinds of symbols, to convey the formal beauty and spiritual beautyContent. With profound influence on Chinese clothing and LianShu systemRepresentative clothing "deep garment" for example, the ancient Chinese traditional thinkingWant to be transformed into the standard, the symbol of the deep in the deep factorsEvery part of clothing. As the ceremonies.from · deep garments of recording: "ancientThe deep garments, with system to should gauge, torque, rope, balancing ", visible deep garmentsGeneral was full of symbols, full of meaning; Again with modern Chinese social transformationRepresentatives of clothing "ZhongShanZhuang" as an example: according to the ceremony, righteousness, cream, shame and itFor four front pocket, based on the executive, legislative, and judicial, examination and supervisionFive rights division and determine a front for five buttons, based on the three people"s principles andSure cuff for three buttons, design of symbol can got fullyThe application. In fact in Chinese clothing history in such a variety of everywhereSee, here for not a tautology, anyhow they fully displays the Chinese clothingDesign the symbol of the strong interest.2. From a garment form look, Chinese clothing in the very great degreeAs wearer power and status symbol of symbolic. From the "book of ·XiCi "speak" yellow emperor hang clothes and the world many legends to "the beginning of namelyTo honour low level according to the headgear dress to make everybody to distinguish the AnnPoints, to put to the world. To the western zhou dynasty "etiquette" form of clothing color, faceMaterials, wearing the occasion many provisions, from now on China in the etiquetteBond is famous, dress in level distinguish meaning of symbolic means the riseTo the height of the insurmountable. The ceremonies.from "the dress level MingThe regulation: "the emperor, the dragon house, such as Fu syndrome, and the doctor Fu xuan clothes,The crown of emperors, and green algae, ten have two Liu, the wait nine, seven, the doctorThe doctor five, and three, to human responsibility also. "Since then, thought and in ChinaCulture in the field of high status to Confucianism also emphasized "gHimself after li ", advocate "charter wenwu" about with ritual, further strengthenedThe level of the dress and long effect function symbols.3. Just for clothing color, zhou dynasty to arid of carrying out the etiquetteMore strict preliminary limit, which seriously and JianSe cent.The analects Yang goods "in records, Confucius said" the evil purple took zhu also ", zhuIs seriously, purple is JianSe, this indication was seriously and JianSe has become don"tHonour low, hierarchical symbolic factors. After this long feudal societyDevelopment, no matter how dynasty changes the color to this as a levelSymbols rules haven"t changed. "The Chinese dress" account: qin dynastyHan towel Ze color "for the crime of black, red, white, JiaoFu for mourning forHuang, hutch human green, slave, the farmers for green "and so on; in the tang dynasty on garmentsThe order of product "for the son of hemp the thorn, says township gong." Tang zhen "guan four years andFirst year; twice in a letter issued the regulations and wear clothes color:In the qing dynasty, divided by the number of babies distinguish sashes post outside, also have to yellowJinLi, subordinates, such as the king of the official reward is never to take yellow.After surveying the field of Chinese costume, "white" and "bract head", "ZaoLi", "Fei purple", "yellow robe", "WuShaMao", "red DingZi" and so on all is in a certainPeriod of time, a certain color belongs to a certain clothing and won a representativeKind of position and identity of the example.

The field of language games can be divided into political life, science and technology areas, the transcript and the speaker"s purpose and theme linked in what context, talking about the topic, or to use language to express what the speaker is engaged inkind of activity. The language field determines the nature of the communication, constitute the main areas of discourse, and the selection and use of vocabulary and discourse structure and discourse plays a leading role. Different language games, forms of discourse will be different, including the needs of the length of time constraints, the emotional impact, technical or non technical.Tenor tenor corresponds to the interpersonal function, the system embodied by the tone (mood).The tenor role structure, mainly referring to the nature of the participants and their identity and role. What kind of role relationships between participants, including a variety of permanent and temporary relations, the words of the participants in the dialogue, role types, and collection of social relations between them.Tenor not only affect the degree of formality of language variants, but also affects the choice of words in the discourse or emotional changes. In other words, the tenor is the link between the different social roles, the most obvious role of the social roles exist in the scenario variants, namely a person on different occasions and different object exchange, the language used there will be different features.The Tautology mode affects the verb structure and cohesive devices to reflect the discourse function of language. Language is the most basic concept is the distinction of spoken and written. In addition, mode refers wrote that the choice of language, the role of language will also affect the form of the language. Such as scientific articles and news reports emphasized the objective and scientific content, so the terminology used there is little emotional, sentence structure also try to look objectively.

赘zhuì多余的，多而无用的：累赘。赘述。赘言。赘词招女婿：赘婿。入赘。招赘会聚方言，使受累赘：这孩子赘得我什么也干不了古同“缀”，连结gotoliveinthehouseholdofone"sin-lawsongettingmarriedredundantsuperfluous笔画数：14；部首：贝；笔顺编号：11215331342534笔画顺序：横横竖横折撇撇横撇捺竖折撇捺详解赘_zhuì【动】同本义〖pawn〗赘,以物质钱也。《说文》赘,得也。《广雅》。按,以物得钱也卖子与人作奴婢名曰赘子。《淮南子·俗》间者,数年岁比不登,民待卖爵赘子以接衣食。《汉书·严助传》又如:赘子聚会〖assemble〗梁王赘其群臣而议其过。《说苑》又如:赘聚;赘结通“缀”。连缀,附着〖jointogether〗君若赘旒然。《公羊传·襄公十六年》欲赘天下之兵。《韩非子·存韩》虎贲赘衣。班固《西都赋》又如;赘附;赘旒增添;附加〖add;attach〗。如;赘名累赘;祸害〖burdensome〗。如:赘累;赘冗;赘脚赘_zhuì【形】多余;无用〖superfluous〗。如:赘木;赘人;赘土;赘叙;赘物恶的〖evil〗有独见之虑,见赘于人。《后汉书》赘_zhuì【名】就婚于女家与改为女家姓的男子称为“赘婿”。对男家来说,出去当赘婿称为“出赘”。对女家来说,招女婿称为“招赘”。男子到女家当赘婿称为“入赘”〖ason-in-lawwhomarriesintowife"sfamilyandtakeherfamilyname〗赘而不赎,主家配以女,则谓之赘婿。朱骏声《说文通训定声》发诸赘婿贾人。《史记·始皇纪》土将军,你若早破西岐,吾将弱女赘公为婿。《封神演义》又如:赘入;赘娶;赘亲颈椎骨〖cervicalvertebra〗肩高于顶,句赘指天。《庄子·大宗师》赘瘤;肉瘤〖anythingsuperfluousoruseless〗赘,属也。横生一肉属着体也。《释名》具赘卒荒。《诗·大雅·桑柔》又如:赘疵;赘木;赘行赘词zhuìcí〖unnecessarytalk〗赘言赘肉zhuìròu〖proudflesh〗伤口或溃疡内的充填的肉芽赘生zhuìshēng〖excrescence〗不正常的或过度的增生赘述zhuìshù〖giveunnecessarydetails〗说些不必要的细节详情恕不赘述赘述zhuìshù〖tautology;saymorethanisneeded〗重复累赘的叙述赘述乃行文之大忌赘婿zhuìxù〖ason-in-lawwholivesinthehomesofhiswife"sparents〗结婚后住到女家的男子;入赘的女婿赘言zhuìyán〖unnecessarytalk〗说不必要的话赘疣zhuìyóu〖wart〗∶疣。皮肤上长的肉瘤反离群而赘疣。《楚辞·九章·惜诵》〖anythingsuperfluousoruseless〗∶比喻多余无用的东西能保其增益成文者,悉如作者之意,毫无赘疣、蛇足与其间乎?清·李渔《曲话·宾白》赘余zhuìyú〖surplus〗过剩余存剔除赘余的成分出处[①]［zhuì］［《__》之芮切，去祭，章。］“赘1”的繁体字。抵押，典质。入赘或招赘。指赘婿。会聚。连缀，附着。引申为连络，联合。引申为追逐尾随。赘瘤，肉瘤。谓生肉瘤。项椎骨。多馀；无用。添增；附加。累赘，患害。谓使受累赘，拖累。令人讨厌，厌恶。【酉集中】【_字部】_；康熙笔画：18；页码：页1213第21〔古文〕??【唐_】之芮切【集_】【__】朱芮切，?音?。【_文】以物__，从敖_。敖者，_放___取之也又【_·大雅】具_卒荒。【_】_，_也。【疏】_，__也。___而_之又【_子·大宗_】彼以生_附__疣。【_名】_，_也。_生一肉，_著_也又【史_·滑?_】淳于_者，_之__也。【_】索_曰：__，女之夫，比于子，如人疣_是_剩物也。【前_·___】家_子__出_。【_】_古曰：_，_也。家__有聘_，以身__也又_也。【前_·武帝_】毋_聚。【_】如淳曰：_，_也又行不_也。【老子·道德_】其于道也，若_食_行。【_】行之__曰_又言_也。【曾_·_官_】_一告二_之_又【博雅】_，定也又【玉篇】最也，得也又【集_】牛交切，音敖。【_篇】__，不媚。【卷六】【_部】编号：3951_，[之芮切]，以物__。从敖、_。敖者，_放；_，__取之也。

赘 　　赘 　　zhuì 　　<动> 　　(会意。从敖贝。敖犹“放”,贝与财富有关。本义:抵押) 同本义 [pawn] 　　赘,以物质钱也。——《说文》 　　赘,得也。——《广雅》。按,以物得钱也。 　　卖子与人作奴婢名曰赘子。——《淮南子·俗》 　　间者,数年岁比不登,民待卖爵赘子以接衣食。——《汉书·严助传》 　　又如:赘子(旧时穷苦人家把孩子卖给富家做奴婢的,叫做“赘子”) 聚会 [assemble] 　　梁王 赘其群臣而议其过。——《说苑》 　　又如:赘聚(会聚);赘结(聚集,集结) 通“缀”。连缀,附着 [join together] 　　君若赘旒然。——《公羊传·襄公十六年》 　　欲赘天下之兵。——《韩非子·存韩》 　　虎贲赘衣。—— 班固 《西都赋》 　　又如;赘附(依附);赘旒(连缀) 增添;附加 [add;attach]。如;赘名(附列其名) 累赘;祸害 [burdensome]。如:赘累(拖累);赘冗(累赘繁冗);赘脚(拖累) 　　【词性变化】 　　赘 　　赘 　　zhuì 　　<形> 　　多余;无用 [superfluous]。如:赘木(树木上隆起的节目);赘人(多余无用的人);赘土(无用之地);赘叙(多余的叙述);赘物(多余的东西) 恶的 [evil] 　　有独见之虑,见赘于人。——《后汉书》 　　赘 　　赘 　　zhuì 　　<名> 　　就婚于女家与改为女家姓的男子称为“赘婿”。对男家来说,出去当赘婿称为“出赘”。对女家来说,招女婿称为“招赘”。男子到女家当赘婿称为“入赘”[a son-in-law who marries into wife"s family and take her family name] 　　赘而不赎,主家配以女,则谓之赘婿。—— 朱骏声 《说文通训定声》 　　发诸赘婿贾人。——《史记·始皇纪》 　　土将军 ,你若早破 西岐 ,吾将弱女赘公为婿。——《封神演义》 　　又如:赘入(入赘);赘娶(入赘);赘亲(入赘成亲) 颈椎骨 [cervical vertebra] 　　肩高于顶,句赘指天。——《庄子·大宗师》 　　赘瘤;肉瘤 [anything superfluous or useless] 　　赘,属也。横生一肉属着体也。——《释名》 　　具赘卒荒。——《诗·大雅·桑柔》 　　又如:赘疵(肉瘤。比喻多余无用之物);赘木(有赘瘤状物的树木);赘行(赘瘤) 　　【常用词组】 　　赘词 　　zhuìcí 　　[unnecessary talk] 赘言 赘肉 　　zhuìròu 　　[proud flesh] 伤口或溃疡内的充填的肉芽 赘生 　　zhuìshēng 　　[excrescence] 不正常的或过度的增生 赘述 　　zhuìshù 　　[give unnecessary details] 说些不必要的细节 　　详情恕不赘述 　　赘述 　　zhuìshù 　　[tautology;say more than is needed] 重复累赘的叙述 　　赘述乃行文之大忌 　　赘婿 　　zhuìxù 　　[a son-in-law who lives in the homes of his wife"s parents] 结婚后住到女家的男子;入赘的女婿 赘言 　　zhuìyán 　　[unnecessary talk] 说不必要的话 赘疣 　　zhuìyóu 　　[wart]∶疣。皮肤上长的肉瘤 　　反离群而赘疣。——《楚辞·九章·惜诵》 　　[anything superfluous or useless]∶比喻多余无用的东西 　　能保其增益成文者,悉如作者之意,毫无赘疣、蛇足与其间乎?—— 清 · 李渔 《曲话·宾白》 　　赘余 　　zhuìyú 　　[surplus] 过剩余存 　　剔除赘余的成分

A： 取p为1,q为0,p->q为0,A不是 B ：(p∧q)->p 是 C：取p为1,q为0,(┐p∨q为0,(┐p∨q)∧┐(┐p∧┐q)为0,C不是 D：取p为1,┐(p∨q)为0,D不是

单字拼音：重 (zhòng , chóng)言 (yán)式 (shì)笔画拆分：重 (丿一丨乛一一丨一一)言 (丶一一一丨乛一)式 (一一丨一乛丶)

赘述的意思是：说些不必要的细节，重复累赘的叙述。赘：多余的，多而无用的。述：讲话、陈说、叙述、描述、论述等。英：tautology，say more than is needed。引证解释：多馀地叙述。引元黄溍《跋范文正公书伯夷颂》：“后来一二大老，乃推广其说，谓公书此实为天下万世纲常计，至哉言乎！末学之士，毋庸赘述也。”清梁章钜《浪迹丛谈·请行钞法》：“成书具在，毋庸赘述。”造句趋势结束全局。在所学的课文中，这样的例子较多，在此不加赘述。这个道理简单明了，无需赘述。最后说到通过二维码扫描名片查找好友的情况，因为通过扫描二维码名片，已经是最精确的方式了，所以不用过多赘述，你只需要保证你的手机网络是畅通的就可以。

谓词：predicate量词：quantifier变元约束：Arguments bound谓词公式：Predicate formula重言式：Tautology等价式：Equivalent永真蕴涵式：Wing really implicate真值表：Truth table

我不知你想用于什么情况，你选吧：1.repeat（动词）repeatation （名词）2.Once more!再来一次！3.Parden? 请再说一遍好吗？

直觉逻辑或构造性逻辑，是在数学直觉主义和其他形式的数学结构主义中使用的逻辑。粗略的说，"直觉主义"把数学和逻辑保持为"构造性"的精神活动。就是说，它们不是解析性活动，在其中披露和应用存在的深入性质。转而，逻辑和数学是应用内部一致的方法，去认识更加复杂的精神构造(实际上是一种游戏)。在更严格的意义上，直觉逻辑可以作为非常具体和形式化的一种数理逻辑来研究。尽管对这样的一种形式化的演算是否实际上捕获了直觉主义的哲学特征是有争议的，在实用的观点上它是非常有用的工具。下面给出这个术语的两重概念。目录 1 作为逻辑推理典范的直觉逻辑 2 作为形式逻辑演算的直觉逻辑 3 Heyting 代数语义 4 Kripke 语义 5 参见 6 外部链接 // [编辑] 作为逻辑推理典范的直觉逻辑 在直觉逻辑中，证明中的在认识论上不清晰的步骤是禁止。在经典逻辑中，公式 A 断言 A 是真。在直觉逻辑中这个公式只在可被"证明"的情况下才被当作是真。作为这种区别的例子，考虑经典逻辑所接受的排中律，直觉逻辑不接受这条定律，因为在允许这种公式的语言中，有可能从 P ∨ ?P 得出结论，而不需要知道这个析取中哪个是真的。在效果上，在直觉逻辑中，P ∨ ?P 说明至少 P 或 ?P 中的一个可以被证明，这比说它们的析取是真要强壮。背后的想法是精神构造的有效性依赖于它与它的上下文(知觉)的一致。出于这种看法，认识论上的不透明性，在效果上是欺骗。直觉逻辑在它的逻辑演算中用证实性替代了真实性。逻辑演算跨越生成导出命题的变换保持证实性，而不是真实性。直觉逻辑给予多个哲学派别哲学上的支持，其中最著名的是 Michael Dummett 的反实在论。[编辑] 作为形式逻辑演算的直觉逻辑 从实用的观点，也有使用直觉逻辑的强烈动机。实际上，如果你找寻像逻辑编程的自动推理，那么你明显的不只是对存在性的陈述感兴趣。计算机程序被假定用来计算答案，而不是去陈述一个答案。所以，在应用中你通常找寻一个给定的存在性断言的证据。此外，你可能关心能证明 ?x : P(x)，但是对于它顾及的任何具体 b 却不能证明 P(b) 的证明系统。为了以数学上精确的方式形式化直觉逻辑，需要模型论(语义)和适当的证明论。直觉逻辑的公式的语法类似于命题逻辑或一阶逻辑。明显的区别是这些经典逻辑的很多重言式(tautology)在直觉逻辑中不再是可证明的。这种例子不只包括排中律 P ∨ ?P，还有 Peirce 定律 ((P → Q) → P) → P。经典重言式在直觉逻辑中无效的更加熟悉的例子与所谓的双重否定除去有关。在经典逻辑中，P → ??P 和 ??P → P 二者都是定理。在直觉逻辑中，只有第一个是定理: 双重否定可以介入，但不能除去。在直觉逻辑中否定的解释不同于它在经典逻辑中的对应物。在经典逻辑中，?P 断言 P 是假；在直觉逻辑中，?P 断言 P 的证明是不可能的。上面在这两个蕴涵之间的不对称现在变得很显著。如果 P 是可证明的，则证明没有 P 的证明当然是不可能的；第一个蕴涵成立。但是第二个蕴涵失败了: 因为没有对 P 的证明是不可能的证明，我们不能从这种缺乏得出结论有 P 的证明。双重否定除去的一个弱化版本是 ???P → ?P 是可以证明的。对很多经典的有效重言式不是直觉逻辑的定理的观察导致弱化经典逻辑的证明理论的想法。比如 Gentzen 获得了相继式演算 LK的一个弱化版本，他称之为 LJ。这就得到了适合的证明理论。直觉逻辑的语义比经典的确定性的情况更加复杂。Heyting代数或等价的Kripke语义给出了它的语义。[编辑] Heyting 代数语义 在经典逻辑中，我们经常讨论一个公式可能接受的真值。这种值通常被选择为布尔代数的成员。在布尔代数中的交和并算子等同于 ∧ 和 ∨ 逻辑连结词，所以形如 A ∧ B 的公式是在布尔代数中 A 的值和 B 的值的交。所以我们就有了一个有用的定理，一个公式是经典逻辑的有效的句子/断定，当且仅当它的值对于任何求值都是 1---就是说，对它的变量的任何指派都是真。对于直觉逻辑对应的法则也是真的，但是不再对每个公式指派(assign)来自布尔代数的值，而是使用来自Heyting代数的值，布尔代数是它的特殊情况。公式在直觉逻辑中是有效的，当且仅当它对于在任何 Heyting 代数上的任何求值总是得到值 1。可以证实为了识别有效的公式，考虑其元素是实平面 R2 的开集(open set)的一个单一的 Heyting 代数就足够了。在这种代数中，∧ 和 ∨ 算子对应于集合的交和并，并且指派给公式 A→B 的值同于指派给公式 ?(A ∧ ?B)的值。指派给 ?F 的值是 FC°，这是 F 的值的补集的内部。表示 1(真)的值是全集 R2。通过这些指派，直觉上有效的公式正好就是被指派为值 1 的公式。例如，公式 ?(A ∧ ?A) 是有效的，因为不管为公式 A 选择什么集合 X 作为值，?(A ∧ ?A) 的值总是被证实为 1:Value(?(A ∧ ?A)) = (Value(A ∧ ?A))C° = (Value(A) ∩ Value(?A))C° = (X ∩ (Value(A))C°)C° = (X ∩ XC°)C° 一个拓扑学定理告诉我们 XC° 是 XC 的子集，所以交集为空，因此:?C° = (R2)° = R2 所以这个公式的求值是真，这个公式确实是有效的。但是排中律 A∨?A，可以被证实是 无效的，通过设定 A 的值是 {y : y > 0 }。那么 ?A 的值是 {y : y ≤ 0 } 的内部，它就是 {y : y < 0 }，而公式的值是 {y : y > 0 } 和 {y : y < 0 } 的并，这不是全部平面。上面描述的无限 Heyting 代数对所有直觉上有效的公式给出了真求值，而不管为公式中的变量指派了什么值。反过来说，对于每个无效的公式，都有来对变量的来自这个代数的一个值指派生成这个公式的一个假求值。可以证实没有有限的 Heyting 代数有这个性质。[编辑] Kripke 语义 主文章 Kripke语义建立在他关于模态逻辑的语义的工作之上，Saul Kripke 为直觉逻辑建立了另一套语义，叫做 Kripke 语义或关系语义。[编辑] 参见 直觉主义 BHK释义 直觉类型论 经典逻辑 中间逻辑 线性逻辑 构造性证明 Curry-Howard对应 可计算性逻辑 博弈语义 [编辑] 外部链接 Stanford Encyclopedia of Philosophy entry 页面分类: 数理逻辑2.反实在论的逻辑观 3 ）逻辑反实在论：拒绝接受二值原则和排中律，并且试图修改经典逻辑的规律，特别赞成 直觉主义逻辑。达米特本人就是一位著名的逻辑反实在论者，他坚决反对意义理论中的“戴 维森纲领”，即根据塔斯基型的真理概念去解释意义概念，认为这种实在论的真理概念把 ...[转]数理逻辑相关... 归结原理：Skolem标准型与子句集；子句集的Herbrand域；Herbrand定理；合一算法；归结 原理及其完备性直觉主义逻辑：直觉主义的直观介绍；直觉主义的一阶谓词逻辑的非形式 演算；直觉主义的一阶谓词逻辑的形式演算；直觉主义逻辑的Kripke语义；直觉主义逻辑 ...

repeat

套套逻辑(tautology)，又称【同义反覆】，即绝对正确但没有内容与用途的言论，如【四足动物有四只脚】。

所谓范畴,指的是人的思维对客观事物的普遍本质的概括和反映.各门学科都有自己的一些基本范畴经济学的范畴 经济学既然不可以判断什么是好是坏，那么其范畴是包括些什么呢？答案是，经济学的范畴包括三部分。 第一，在知道有关的局限条件（constraints）或游戏规则（这就是产权制度或人与人之间的权利划分）的情况下，我们可以推断所用的竞争准则是什么。这是一个很复杂的问题，处理上往往不容易，但高手若愿意付出代价，他总有办法做得到。说起来，这是实证经济学上最容易分辨高手与低手的地方。 世事如棋局局新，局限条件千变万化，任何分析都不可能包罗万有。有关的而重要的局限条件是要抽选出来而使之简化的。但什么算是“有关”，什么算是“重要”，分析者却不能妄作判断，随意取舍，因为这样做，分析者就可以随意得到他所希望得到的结论了。换言之，局限条件的取舍，是要有约束的，而这约束需要一个理论。这个比较深入的有关方法论的问题，我会在分析价格管制时详述的。 第二——这是经济学最容易的一部分了——是有了竞争的准则，经济学可以推断人的行为会怎样，资源的使用会怎样，财富或收入的分配会怎样。上文说过，准则的不同会导致行为的不同，而胜负的人（收入的分配）也会跟着不同的。上文所说房屋分配及排队购物等例子，就属于这一部分。 事实上，撇开近三十多年来的发展不谈，有二百多年历史的西方经济学，可取的（非价值观而又有解释能力的）都是这一部分。那所谓收入分配（income distribution）与资源使用（resource allocation或resource use）这两大项目的划分，是经济学的传统。就是在今天，经济学的教科书还是这样处理的。 但在传统的经济学上，关于收入分配与资源使用的分析，大都是基于自由市场以市价定胜负的准则。这准则只能在私有产权的制度下出现。换言之，传统的经济分析，虽然可解释收入的分配与人类的行为，但其范围很狭窄。私有产权所约束着的游戏规则，只不过是千变万化的规则中的一部分。假若我们熟读一般经济学教科书，不管是怎样高程度的，我们能以之解释世事方面的，范围极小。墨守成规地学经济，将课本念得滚瓜烂熟，并不一定稍知门径，登堂入室更谈不上了。科学要活学活用，经济学更是如此。 传统的经济学分析大都是以市价为准则，很狭窄，但这并非是说不同的竞争准则，经济分析就无能为力。正相反，近三十多年来，那所谓新制度经济学（New Institutional Economics）不断地以基本的经济学原理，扩展到五花八门的准则上。不同的竞争准则当然会有不同的效果，但却可用同样的理论基础来处理。只要我们能肯定地指出竞争的准则是什么，推断收入分配与资源使用的行为并不困难。那是说，一旦弄清楚有关的游戏规则（局限条件），断定了竞争的准则是什么，一个高手花不上几天的工夫就可以将竞争的行为推断，而其准确性甚高。 经济学范畴的第三部分，是最困难的了。那就是，要解释游戏规则是怎样形成的。为什么世界上有共产制度？为什么香港有租务管制？又因为游戏规则与竞争准则有直接的关系，所以这部分也就要解释竞争准则是怎样决定的。为什么香港大学教师的居住单位要以分数配给？为什么共产中国要论资排辈？ 不同的产权制度是怎样形成的？法律为什么因时因地而变？香港的立法程序为什么与台湾的不同？什么是国家？为什么要有国家？为什么有些国家有宪法，另一些没有？为什么中国大陆要搞统战？这些都是深奥的问题。 但很奇怪，有时经济学者认为是高深莫测的经济问题，不懂经济学的却会认为是浅显之极。他们喜欢在这些问题上滔滔不绝地大发议论，过瘾之至，但他们的“解释”与科学无关。若问香港的立法会议员：为什么某法例被通过了？他们总不免雄辩地议论一番。但假若我们细心地分析一下他们的“理论”，我们通常只得出四个结果：（一）他们所说的是特殊理论（ad hoc theory），毫无一般性的解释能力；（二）他们说的是套套逻辑（tautology），完全没有内容；（三）他们说的是他们自己的价值观（value judgement），与科学无关；（四）他们说的是谬论（nonsense）。 海耶克（F.Hayek）曾经花了不少时间解释这经济学范畴内的第三部分的问题，没有什么大收获。近二十年来，政制理论（Theory of the State）渐成为经济的一门热门学问，参与的高手如云，包括布格南（J.Buchanan）、史德拉（G.Stigler）、贝加（G.Becker）、德塞姆茨（H.Demsetz）等人，但都没有重大的收获。当然，他们其他的研究，收获是多而重要的。我自己曾在《中国会走向“资本主义”的道路吗？》那小书内创立了一个政制理论，自觉满意，但重视这理论的就只有高斯一人！虽然这理论准确地推测了中国的体制转变，但可靠的验证，还需更长的时间。 《经济解释》应该是我认真地写的最后一本经济学的书了。关于制度或政制的形成这个湛深的问题——上文所说的经济学范畴的第三部分——若要有大收获，我认为必须从合约的选择那方面做起。这是关于交易费用与合约的关系、公司的本质、组织的结构等问题了。这些应该可以扩展到国家、制度那方面去——齐家、治国、平天下。一九八一年我走这条路，以理论准确地推测了中国的制度转变。虽然只这一次，不够说服力，但还是比所有的行家多了一次。 （《经济解释》之十三；第三章完）

相对。重言式（Tautology ）又称为永真式，是逻辑学的名词，它的的数学符号是。矛盾式和重言式相对的是矛盾式。矛盾式(contradictory formula)又称永假式、不可满足公式，是逻辑演算的一类公式。

数学英语词汇表 　　table表;数表 　　tabulate制表 　　tabulationform表列式 　　tabulationmethod列表法 　　tail反面(钱币) 　　tangent(1)正切;(2)切? 　　tautology恒真命题;恒真式 　　Taylor"sexpansion泰勒展开式 　　Taylor"sseries泰勒级数 　　Taylor"stheorem泰勒定理 　　tension张力 　　term项 　　terminalbox终端框 　　terminalpoint终点 　　terminalside终边 　　terminalvelocity终端速度 　　terminatingdecimal有尽小数 　　tesselation密铺;铺嵌;嵌砌 　　testciiterion检验标准 　　testofsignificance显著性检验 　　tetrahedron四面体 　　theorem定理 　　theoreticalprobability理论概率 　　theory理论;论 　　thirdquartile第三四分位数 　　three-dimensionalspace三维空间 　　thrust推力 　　time时间 　　tothenearest至最接近之 　　top顶 　　torque转矩 　　torus环面 　　total总数 　　totalprobability总概率 　　touch切;切触 　　trace? 　　trajectory轨?;轨迹 　　transcendentalfunction超越函数 　　transcendentalnumber超越数 　　transform变换;转换 　　transformation变换 　　transformationofvariable变数转换 　　transitive可传递的 　　transitivelaw可迁律 　　transitiveproperty传递性 　　transitivity传递性 　　translation平移 　　transpose移项;转置 　　transposeofmatrix倒置矩阵;转置矩阵 　　transversal截?;横截的 　　transverseaxis贯轴;横截轴 　　transversecomponent横截分量 　　trapezium梯形 　　trapezoidalintegral梯形积分 　　trapezoidalrule梯形法则 　　travelgraph行程图 　　treediagram树形图 　　trial试;试验 　　triangle三角形 　　triangleinequality三角不等式 　　trianglelawofaddition三角形加法 　　trianglemethod三角形法 　　triangularmatrix三角矩阵 　　triangularnumber三角形数 　　triangularprism三棱柱;三角柱 　　trichotomylaw三分律;三一律 　　trichotomyproperty三分律;三一律 　　trigonometricequation三角方程 　　trigonometricfunction三角函数 　　trigonometricidentity三角恒等式 　　trigonometricratio三角比 　　trigonometrictable三角函数表 　　trigonometry三角学;三角 　　trinomial三项式 　　triple三倍 　　tripleangle三倍角 　　tripleproduct三重积 　　trisect三等分 　　trivialsolution平凡解 　　calculation计算 　　calculator计算器;计算器 　　calculus(1)微积分学;(2)演算 　　cancel消法;相消 　　canellationlaw消去律 　　canonical典型;标准 　　capacity容量 　　cardioid心脏? 　　Cartesiancoordinates笛卡儿坐标 　　Cartesianequation笛卡儿方程 　　Cartesianplane笛卡儿平面 　　Cartesianproduct笛卡儿积 　　category类型;范畴 　　catenary悬链? 　　Cauchysequence柯西序列 　　Cauchy′sprincipalvalue柯西主值 　　Cauchy-Schwarzinequality柯西-许瓦尔兹不等式 　　centrallimittheorem中心极限定理 　　centralline中线? 　　centraltendency集中趋 　　centre中心;心 　　centreofacircle圆心 　　centreofgravity重心 　　centreofmass质量中心 　　centrifugalforce离心力 　　centripedalacceleration向心加速度 　　centripedalforceforce向心力 　　centroid形心;距心 　　certainevent必然事件 　　chainrule链式法则 　　chance机会 　　changeofaxes坐标轴的变换 　　changeofbase基的变换 　　changeofcoordinates坐标轴的变换 　　changeofsubject主项变换 　　changeofvariable换元;变量的换 　　characteristicequation特征(征)方程 　　characteristicfunction特征(征)函数 　　characteristicoflogarithm对数的首数;对数的`定位部 　　characteristicroot特征(征)根 　　chart图;图表 　　checkdigit检验数位 　　checking验算 　　chord弦 　　chordofcontact切点弦 　　circle圆 　　circular圆形;圆的 　　circularfunction圆函数;三角函数 　　circularmeasure弧度法 　　circularmotion圆周运动 　　circularpermutation环形排列;圆形排列;循环排列 　　trochoid次摆? 　　TRUE真 　　truncatedTaylor"sseries截断泰勒级数 　　truncationerror截断误差 　　truthtable真值表 　　truthvalue真值 　　turningpoint转向点 　　two-dimensionalspace二维空间 　　two-pointform两点式 　　two-tailedtest双尾检验;只端检验 　　typeIerrorI型误差 　　typeIIerrorII型误差 　　salariestax薪俸税 　　sample抽样;样本 　　samplemean样本平均数 　　samplespace样本空间 　　samplingdistribution抽样分布 　　samplingtheory抽样理论 　　sandwichtheorem迫近定理 　　satisfy满足;适合 　　scalar纯量;无向量,标量 　　scalarmatrix纯量矩阵 　　scalarmultipliction纯量乘法 　　scalarproduct纯量积 　　scalartripleproduct纯量三重积 　　scale比例尺;标度;图尺 　　scalenetriangle不等边三角形;不规则三角形 　　scatterdiagram散点图 　　Schwartz′sinequality施瓦兹不等式 　　scientificnotation科学记数法 　　secant(1)正割;(2)割线 　　secantmethod正割法 　　second秒 　　secondderivative二阶导数 　　secondorderordinarydifferentialequation二阶常微分方程 　　secondquartile第二四分位数(1)截面;截线;(2)截点 　　section(1)截面;截线?;(2)截点 　　sectionformula截点公式 　　sector扇式 　　segment段;节 　　segmentofacircle弓形 　　sellingprice售价 　　semicircle半圆 　　semi-conjugateaxis半共轭轴 　　semi-majoraxis半主轴;半长轴 　　semi-minoraxis半副轴;半短轴 　　semi-transverseaxis半贯轴 　　semi-verticalangle半顶角 　　sentence句;语句 　　separabledifferentialequation可分微分方程 　　septicequation七次方程 　　sequence序列 　　series级数 　　set集 　　setsquare三角尺;三角板 　　set-builderform集的结构式 　　shadedportion有阴影部分 　　shape形状 　　shear位移 　　side边;侧 　　sign符号;记号 　　signednumber有符号数 ;

due to limited space， no more tautology here

第一部分：cdbcd aabcd第二部分：bbaab abbab

1. 一名什么的四字成语 一鸣惊人 yī míng jīng rén 【解释】鸣：鸟叫。一叫就使人震惊。比喻平时没有突出的表现，一下子做出惊人的成绩。 【出处】《韩非子·喻老》：“虽无飞，飞必冲天；虽无鸣，鸣必惊人。”《史记·滑稽列传》：“此鸟不飞则已，一飞冲天；不鸣则已，一鸣惊人。” 【结构】主谓式。 【用法】多指个人的学业、事业取得了惊人的成就；也用于国家、集体。一般作主语、谓语、宾语、定语。 【正音】一；不能读作“yì”。 【辨形】鸣；不能写作“呜”。 【近义词】一举成名、一步登天、名满天下 【反义词】身败名裂、臭名远扬、丢人现眼 【例句】（1）在全国体操比赛中，不少新手~，创造出良好的纪录。（2）这次技术大比武中，他~，夺得了第一名。 【英译】surprise the people with one"s first success 【成语故事】淳于髡是齐国的一位入赘女婿。身高不足七尺。为人滑稽，能言善辩，屡次出使诸侯国，从未受过屈辱。齐威王在位时喜好说谜语，彻夜陶醉于酒宴，不理政事，将国事委托卿大夫。文武百官也荒淫放纵，各国都来侵犯，国家危在旦夕。身边近臣不敢进谏。淳于髡用隐语劝谏说：“国中有大鸟，落在大王庭院里，三年不飞又不叫，大王猜这是什么鸟？”齐威王说：“这只鸟不飞则已，一飞就直冲云霄；不鸣则已，一鸣惊人。”于是就诏令全国七十二县长官来朝奏事，奖赏一人，诛杀一人；又发兵御敌，诸侯十分惊恐，都把侵占的土地归还齐国。齐国的声威竟维持三十六年。这些话都记载在《田完世家》里。 2. 入赘一词是什么意思.怎么由来的 赘 zhuì <；动> （会意。从敖贝。敖犹“放”，贝与财富有关。本义：抵押） 同本义 [pawn] 赘，以物质钱也。——《说文》 赘，得也。——《广雅》。按，以物得钱也。 卖子与人作奴婢名曰赘子。——《淮南子·俗》 间者，数年岁比不登，民待卖爵赘子以接衣食。——《汉书·严助传》 又如：赘子（旧时穷苦人家把孩子卖给富家做奴婢的，叫做“赘子”） 聚会 [assemble] 梁王 赘其群臣而议其过。——《说苑》 又如：赘聚（会聚）；赘结（聚集，集结） 通“缀”。连缀，附着 [join together] 君若赘旒然。——《公羊传·襄公十六年》 欲赘天下之兵。——《韩非子·存韩》 虎贲赘衣。—— 班固 《西都赋》 又如；赘附（依附）；赘旒（连缀） 增添；附加 [add;attach]。如；赘名（附列其名） 累赘；祸害 [burdensome]。如：赘累（拖累）；赘冗（累赘繁冗）；赘脚（拖累） 【词性变化】 赘 赘 zhuì <；形> 多余；无用 [superfluous]。如：赘木（树木上隆起的节目）；赘人（多余无用的人）；赘土（无用之地）；赘叙（多余的叙述）；赘物（多余的东西） 恶的 [evil] 有独见之虑，见赘于人。——《后汉书》 赘 赘 zhuì <；名> 就婚于女家与改为女家姓的男子称为“赘婿”。对男家来说，出去当赘婿称为“出赘”。对女家来说，招女婿称为“招赘”。男子到女家当赘婿称为“入赘”[a son-in-law who marries into wife"s family and take her family name] 赘而不赎，主家配以女，则谓之赘婿。—— 朱骏声 《说文通训定声》 发诸赘婿贾人。——《史记·始皇纪》 土将军 ，你若早破 西岐 ，吾将弱女赘公为婿。——《封神演义》 又如：赘入（入赘）；赘娶（入赘）；赘亲（入赘成亲） 颈椎骨 [cervical vertebra] 肩高于顶，句赘指天。——《庄子·大宗师》 赘瘤；肉瘤 [anything superfluous or useless] 赘，属也。横生一肉属着体也。——《释名》 具赘卒荒。——《诗·大雅·桑柔》 又如：赘疵（肉瘤。比喻多余无用之物）；赘木（有赘瘤状物的树木）；赘行（赘瘤） 【常用词组】 赘词 zhuìcí [unnecessary talk] 赘言 赘肉 zhuìròu [proud flesh] 伤口或溃疡内的充填的肉芽 赘生 zhuìshēng [excrescence] 不正常的或过度的增生 赘述 zhuìshù [give unnecessary details] 说些不必要的细节 详情恕不赘述 赘述 zhuìshù [tautology;say more than is needed] 重复累赘的叙述 赘述乃行文之大忌 赘婿 zhuìxù [a son-in-law who lives in the homes of his wife"s parents] 结婚后住到女家的男子；入赘的女婿 赘言 zhuìyán [unnecessary talk] 说不必要的话 赘疣 zhuìyóu [wart]∶疣。皮肤上长的肉瘤 反离群而赘疣。——《楚辞·九章·惜诵》 [anything superfluous or useless]∶比喻多余无用的东西 能保其增益成文者，悉如作者之意，毫无赘疣、蛇足与其间乎？—— 清 · 李渔 《曲话·宾白》 赘余 zhuìyú [surplus] 过剩余存 剔除赘余的成分 3. 老师叫我们讲一个四字成语,要有意思,用法,造句,故事,释义, 一鸣惊人 yī míng jīng rén [释义] 比喻平时没有突出的表现；一下子做出惊人的成绩。 [语出] 《史记·滑稽列传》：“此鸟不飞则已；一飞冲天；不鸣则已；一鸣惊人。” [正音] 一；不能读作“yì”。 [辨形] 鸣；不能写作“呜”。 [近义] 一举成名 一步登天 名满天下 [反义] 身败名裂 臭名远扬 丢人现眼 [用法] 多指个人的学业、事业取得了惊人的成就；也用于国家、集体。一般作主语、谓语、宾语、定语。 [结构] 主谓式。 [辨析] 见“一举成名”。 [例句] ①在全国体操比赛中；不少新手~；创造出良好的纪录。 ②这次技术大比武中；他~；夺得了第一名。 [英译] surprise the people with one"s first success [成语故事] 【原文】淳于髡者，齐之赘婿也。长不满七尺，滑稽多辩，数使诸侯，未尝屈辱。齐威王之时，喜隐，好为淫乐长夜之饮，沉湎不治，委政卿大夫。百官荒乱，诸侯并侵，国且危亡，在于旦暮，左右莫敢谏。淳于髡说之以隐曰：“国中有大鸟，止王之庭，三年不蜚又不鸣，不知此鸟何也？”王曰：“此鸟不飞则已，一飞冲天；不鸣则已，一鸣惊人。”于是乃朝诸县令长七十二人，赏一人，诛一人，奋兵而出。诸侯振惊，皆还齐侵地。威行三十六年。语在《田完世家》中。 【译文】淳于髡是齐国的一位入赘女婿。身高不足七尺。为人滑稽，能言善辩，屡次出使诸侯国，从未受过屈辱。齐威王在位时喜好说谜语，彻夜陶醉于酒宴，不理政事，将国事委托卿大夫。文武百官也荒淫放纵，各国都来侵犯，国家危在旦夕。身边近臣不敢进谏。淳于髡用隐语劝谏说：“国中有大鸟，落在大王庭院里，三年不飞又不叫，大王猜这是什么鸟？”齐威王说：“这只鸟不飞则已，一飞就直冲云霄；不鸣则已，一鸣惊人。”于是就诏令全国七十二县长官来朝奏事，奖赏一人，诛杀一人；又发兵御敌，诸侯十分惊恐，都把侵占的土地归还齐国。齐国的声威竟维持三十六年。这些话都记载在《田完世家》里。

如果不是我孤陋寡闻，应该是“赘述”吧？意思是写得很啰嗦。不一定准确，请查词典。

释义：恒真式,就是正命题为真,逆命题也是真的，也叫重言式?????????????????????? 通俗来说，可以理解为：无论什么情况下都为真的命题 恒真式指重言式。重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。

如果事实不能解释事实，什么解释事实？答：理论解释事实。而且： 凡是有解释能力的理论，一定要有被事实推翻的可能（refutable by facts），但却没有被事实推翻。 作者随后提到了两种理论，特殊理论（ad hoc theory） vs. 套套逻辑（tautology）。其中： 特殊理论也是理论，不过由于过于特殊，一般性的解释能力就谈不上。不是因为理论的内容不足，而是内容太多，以致内容稍为一改，理论就被推翻了。 我的理解： - 这一点在机器学习的应用，就可以称之为overfitting，所以一定要回测，要有各种策略，比如剪枝，要考虑奥卡姆剃刀； - 内容就是约束；约束不能太多，太多的话就不具有通用性，只能做适用领域非常有限的、经验性的copy； - 所以哪怕是归纳法，想要发现有用的理论，也要方法论，有逻辑。 但从另一方面，实验/观察如果能排除某些不必要的因素/内容，认知就会升级，所以推测、解释、实验本质上是三位一体，都是为了认知： 科学的进步，不是因为对的理论替代了错的，而是有较广泛解释力的替代了较狭窄的。 这里强调的是“替代”： - 替代，并不是说较狭窄的理论就是错的； - 而且一般来说，对于较狭窄的现象，他的解释力一点也不差，比如说牛顿力学相对于相对论； -因而而归纳的过程中就是要考虑移除限制的过程； - 而这就体现为归纳出来的理论，本身参数也有一定的限制性，不能太多； - 不然的话，就有不能泛化的问题：因为学习的过程没有学习到本质，反而学到了太多的约束，而这些约束来源于数据与观察，当时很难排除或无从验证；本应需要新观察，但新的观察很可能又不足够。 总而言之，用简单来对付复杂，而不能用复杂来对付复杂。相对于特殊理论是一种极致；那么极致的另外一端是什么呢？ 站在另一端，却是一般化的离谱，在任何情况下也不可能错的“理论”。不可能错，因为没有内容。这就是哲学上所说的套套逻辑（tautology）了。 什么是套套逻辑？ 是指一些言论在任何情况下都不可能错。说的严谨一点，他的逻辑不可能被想象为错。 本质上： - 这种理论没有任何约束条件，一定对； - 这些理论定义了什么？定义了一种概念、定义本身。 那么，套套逻辑的真正作用是什么呢？ 事实上，很多重要的科学理论，是来自不可能错的套套逻辑提供的观点或概念的。套套逻辑，有一点可取特色：它有极大的一般性，倘若我们能把范围加以约束、收窄，有时可以促成一个有内容的——可能错的——理论，其解释能力之强，令人拍案。 也就是说过度泛化的情况下加上约束就能获得解释，就能预测。 作者在此基础上解释了三个例子，都是说如何加以约束或者考虑约束的变化，套套逻辑如何获得了解释力，获得了威力： 1. “争取个人最大利益” + 约束条件的变化，则可以推断什么情况下一个人抽烟的行为会变化； 2. 币量理论，MV=PQ，这是一个恒等式；恒等式，不可能错： 然而，因为提供了一个看世界的角度，有启发力，如果能适当的加以约束，就变为重要的币量理论，大有解释力了。 也就是说如果能知道在什么情况下，哪个变量会发生什么变化，从而会导致什么条件，导致其他几个怎么变等等。 3. 科斯定律。科斯定律 + 约束，尤其是观察到约束的变化，就能千变万化，可以推出不少具有解释现象能力的假说。 那么我的理解是： - 首先，角度本身就是力量，他能创造张力，多维多多角度本身就能提供思路。 - 第二，很多时候套套逻辑代表了事物运转的组成：即定义是什么？什么是什么？等等等，所以它能被演化、能泛化，这种抓住根本定义的能力，很多时候可能就类似于数学中的1 + 1 = 2 的重要吧。 因此最终作者再次强调： 我们可以在特殊理论及套套逻辑这两个极端之间下些结论。 什么结论？能被事实推翻、又有解释力的理论。而且又重复了一遍： 套套逻辑的解释能力，比特殊理论还有所不如。但套套逻辑可以是重要的概念，可以有启发性，可以给我们提供一个新的角度看世界。认为套套逻辑内容空洞而之不理，可能走了宝。我们不要放弃新的角度看世界，要尝试加上约束或限制条件，为套套逻辑增加内容，希望能把“定义”变为可以解释现象的理论。 以下的解读似乎有点空： - 大道无形，只有在加上了具体应用环境的限制才有了意义、才有了展现； - 另一方面，在求道的过程中，也可以说约束和局限使得假设有了意义，使得假设可以被验证，可以被现到，最终验证为“道”。另外： 重言式（Tautology）又称为永真式，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用 —— 逻辑学真的高深。

P 是指 前提（Premise），即前提引入，引入的题设前提一定是永真的。T 是指 重言(永真)式（Tautology），T(1)(2)就是说 (1)(2)是永真的。I 是指 蕴涵式（Implication），即推理定律，比如假言三段论、构造性二难等，有 9 条，标注为 I1～I9。上面的 I3、I4 分别表示 假言推理和拒取式。

赘述的解释[tautology;say more than is needed] 重复累赘的叙述 赘述乃行文之大忌 详细解释 多馀地叙述。 元 黄溍 《跋范文正公书伯夷颂》 ：“后来一二大老，乃推广其说，谓公书此实为 天下 万世纲常计，至哉言乎！末学之士，毋庸赘述也。” 清 梁章钜 《浪迹丛谈·请行钞法》 ：“成书具在，毋庸赘述。” 爱新觉罗· 溥仪 《我的前半生》 第六章第五节：“此外还有其他 许多 规定，还有外地‘巡狩"时的种种 排场 ，在这里我不一一赘述了。” 词语分解 赘的解释 赘 （赘） ì 多余的，多而无用的：累（唅 ）赘。赘述。赘言。赘词。 招 女婿 ：赘婿。入赘。招赘。 会聚。 方言，使受累赘：这孩子赘得我什么也干不了。 古同“缀”，连结。 " - 述的解释 述 ù 讲话，陈说，叙述。述评。描述。论述。综述。述职。述而不作。 修纂：著述。 循，顺行：“报我不述”。 部首 ：辶。

赘述的解释[tautology;say more than is needed] 重复累赘的叙述 赘述乃行文之大忌 详细解释 多馀地叙述。 元 黄溍 《跋范文正公书伯夷颂》 ：“后来一二大老，乃推广其说，谓公书此实为 天下 万世纲常计，至哉言乎！末学之士，毋庸赘述也。” 清 梁章钜 《浪迹丛谈·请行钞法》 ：“成书具在，毋庸赘述。” 爱新觉罗· 溥仪 《我的前半生》 第六章第五节：“此外还有其他 许多 规定，还有外地‘巡狩"时的种种 排场 ，在这里我不一一赘述了。” 词语分解 赘的解释 赘 （赘） ì 多余的，多而无用的：累（唅 ）赘。赘述。赘言。赘词。 招 女婿 ：赘婿。入赘。招赘。 会聚。 方言，使受累赘：这孩子赘得我什么也干不了。 古同“缀”，连结。 " - 述的解释 述 ù 讲话，陈说，叙述。述评。描述。论述。综述。述职。述而不作。 修纂：著述。 循，顺行：“报我不述”。 部首 ：辶。

是重言式。重言式（Tautology）又称为永真式，是逻辑学的名词，p-q·p-q是重言式。重言式的定义是：如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。

是永真式,永真式一定是可满 足式,可满足式未必是永真式。设A为任一命题公式，若A在它的各种赋值下取值均为假，则称A是永假式。永假式又称为矛盾式

【重言式】的意思（定义）： 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。 【重言式】（Tautology ）又称为永真式，是逻辑学的名词。 【重言式】例子： 设A为任一命题公式，若A在重言【重言式】的意思（定义）： 给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。 【重言式】（Tautology ）又称为永真式，是逻辑学的名词。 【重言式】例子： 设A为任一命题公式，若A在

逻辑有效式否定是永真式。重言式(Tautology)又称为永真式，它的汉语拼音为：[Chóngyánshì]，是逻辑学的名词。命题公式中有一类重言式。永真式的否定是永假式。给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T，则称该命题公式为永真公式或者重言式。

赘述 ：说些不必要的细节，多余地叙述。

这上面有，资料很全。自己去看吧！http://en.wikipedia.org/wiki/Confucius

“赘述”能用“详细”来形容。前者是贬义词，后者是褒义词。

1 analogy n.相似，类似；比拟 2 anthology n. 诗集，文选 3 anthropology n. 人类学 4 apology n.道歉，认错，谢罪 5 archaeology n. 考古学 6 astrology n. 占星学，占星术 7 bacteriology n. 细菌学 8 biology n.生物学；生态学 扩展资料 　　9 biotechnology n.生物技术 　　10 chronology n.年代学 　　11 cytology n. 细胞学 　　12 dermatology n. 皮肤(病)学 　　13 doxology n. 上帝赞美诗,颂歌,颂荣 　　14 ecology n.生态学；个体生态学 　　15 entomology n. 昆虫学 　　16 epistemology n. 认识论(对知识本质的研究) 　　17 ethnology n. 人种学 　　18 etymology n. 语源学 　　19 eulogy n. 颂词，颂文 　　20 genealogy n. 系谱,宗谱,家系 　　21 geology n.地质学 　　22 gerontology n. 老人病学 　　23 histology n. 组织学(研究细胞之学科) 　　24 horology n. 测时法，钟表制造术 　　25 ideology n. 意识，意识形态 　　26 meteorology n.气象学 　　27 methodology n. 方法(论) 　　28 mineralogy n. 矿物学 　　29 mythology n. 神话，神话学 　　30 necrology n. 死者名册,死亡启事 　　31 neurology n. 神经病学 　　32 numerology n. 命理学 　　33 ontology n. 实体论，本体论 　　34 ophthalmology n. 眼科 　　35 ornithology n. 鸟类学 　　36 pathology n. 病理学 　　37 pathophysiology n. 病理生理学 　　38 petrology n. 岩石学 　　39 pharmacology n. 药理学，药物学 　　40 philology n. 语文学，语言学 　　41 phraseology n. 措辞,语法,语词 　　42 physiology n. 生理学 　　43 psephology n. 选举学 　　44 psychology n.心理学；心理 　　45 sociology n.社会学 　　46 speleology n. 洞穴学 　　47 tautology n. 同义反复,重复 　　48 technology n.工艺学，工艺，技术 　　49 teleology n. 目的论,有目的`,目的论者 　　50 terminology n.术语学，术语 　　51 theology n. 神学，宗教 　　52 trilogy n. 三部曲 　　53 zoology n. 动物学,生态

更新1: u2203xu2200yP(x y) → u2200yu2203xP(x y) is a tautology. how to prove? ecc.ee.nthu.edu/2011_ee2060/DM2011SpringMID_I_solution%20_04052011.pdf 答案在此。 2014-11-18 20:05:46 补充： 哈哈哈～ 太客气了～ ╭∧---∧╮ │ .u203f │ ╰/) u22c8 (\╯ 2014-11-19 00:13:00 补充： 图片参考：s.yimg/lo/api/res/1.2/ZQit8r6YM3UMER1bF6V.OQ--/YXBwaWQ9dHdhbnN3ZXJzO3E9ODU-/i.imgur/ZH9B85L Please read: 图片参考：s.yimg/rk/HA00430218/o/70383364 图片参考：s.yimg/rk/HA00430218/o/1589873243 多谢猫猫， 帮我大忙， 有机会再报答你

冲（第二声）

重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词。命题公式中有一类重言式。如果一个公式，对于它的任一解释下其真值都为真，就称为重言式（永真式）。数理逻辑旨在利用有限的公理推出尽可能多的重言式，除此之外，重言式在计算机词法分析领域也具有重要应用。1.定义给定一命题公式，若无论对分量作怎样的指派，其对应的真值永为T（True），则称该命题公式为重言式或永真公式。设A为任一 命题公式，若A在它的各种 赋值下取值均为真，则称A是重言式。逻辑重言式是不管它的部件的真值而总是为真陈述。例如，陈述 "要么所有的乌鸦都是黑的，要么不都是黑的" 是重言式，因为不用管乌鸦是什么颜色都是真的。形式的表达为一个用 X 表示 "所有的乌鸦都是黑的" 的命题：X or not X，它同样为真，因为不管 X 是否为真，都有一个 离析项(disjunct)为真，而使整个命题为真。不管它的部件的真值而总是为假的陈述叫做矛盾。永真式与永假式互为 否定式2.相关定理定理1： 任何两个重言式的合取或析取，仍然是一个重言式。定理2：一个重言式，对同一分量都用任何公式置换，其结果仍为一重言式。定理3：设A,B为两个命题公式，A和B逻辑等价当且仅当双条件命题“A当且仅当B”成立。定理4：设A,B,C为合式公式，若A蕴含B且A是重言式，则B也是重言式。定理5：若A蕴含B，B蕴含C，则A蕴含C，即蕴含关系是传递的。3.发现重言式在布尔代数中发现重言式的最简单的方法是使用真值表。但是，随着涉及到的变量的数目的增长，真值表的大小成 2 的幂增长，这使它不利于四个或更多变量的重言式，这时简化和代数变得更有用。4.计算机领域重言式作为即为逻辑词，在计算机领域具有广泛应用。在自然语言处理的词法分析领域，重言式经常被用作逻辑判断的准则。重言式在，计算机领域中也经常被推广为广义重言式，且其经常与离散数学中的二值逻辑模糊蕴涵算子结合使用，其在近年来已成功应用于模糊控制、近似推理、词计算、模糊图像处理等诸多领域,引起了学者们的广泛关注.其中,与蕴涵算子相关的广义重言式已经成为当前研究的热点.目前,人们逐渐意识到广义重言式在模糊逻辑的理论及应用中发挥的重要作用。

赘zhuì多余的，多而无用的：累赘。赘述。赘言。赘词招女婿：赘婿。入赘。招赘会聚方言，使受累赘：这孩子赘得我什么也干不了古同“缀”，连结gotoliveinthehouseholdofone"sin-lawsongettingmarriedredundantsuperfluous笔画数：14；部首：贝；笔顺编号：11215331342534笔画顺序：横横竖横折撇撇横撇捺竖折撇捺详解赘_zhuì【动】同本义〖pawn〗赘,以物质钱也。《说文》赘,得也。《广雅》。按,以物得钱也卖子与人作奴婢名曰赘子。《淮南子·俗》间者,数年岁比不登,民待卖爵赘子以接衣食。《汉书·严助传》又如:赘子聚会〖assemble〗梁王赘其群臣而议其过。《说苑》又如:赘聚;赘结通“缀”。连缀,附着〖jointogether〗君若赘旒然。《公羊传·襄公十六年》欲赘天下之兵。《韩非子·存韩》虎贲赘衣。班固《西都赋》又如;赘附;赘旒增添;附加〖add;attach〗。如;赘名累赘;祸害〖burdensome〗。如:赘累;赘冗;赘脚赘_zhuì【形】多余;无用〖superfluous〗。如:赘木;赘人;赘土;赘叙;赘物恶的〖evil〗有独见之虑,见赘于人。《后汉书》赘_zhuì【名】就婚于女家与改为女家姓的男子称为“赘婿”。对男家来说,出去当赘婿称为“出赘”。对女家来说,招女婿称为“招赘”。男子到女家当赘婿称为“入赘”〖ason-in-lawwhomarriesintowife"sfamilyandtakeherfamilyname〗赘而不赎,主家配以女,则谓之赘婿。朱骏声《说文通训定声》发诸赘婿贾人。《史记·始皇纪》土将军,你若早破西岐,吾将弱女赘公为婿。《封神演义》又如:赘入;赘娶;赘亲颈椎骨〖cervicalvertebra〗肩高于顶,句赘指天。《庄子·大宗师》赘瘤;肉瘤〖anythingsuperfluousoruseless〗赘,属也。横生一肉属着体也。《释名》具赘卒荒。《诗·大雅·桑柔》又如:赘疵;赘木;赘行赘词zhuìcí〖unnecessarytalk〗赘言赘肉zhuìròu〖proudflesh〗伤口或溃疡内的充填的肉芽赘生zhuìshēng〖excrescence〗不正常的或过度的增生赘述zhuìshù〖giveunnecessarydetails〗说些不必要的细节详情恕不赘述赘述zhuìshù〖tautology;saymorethanisneeded〗重复累赘的叙述赘述乃行文之大忌赘婿zhuìxù〖ason-in-lawwholivesinthehomesofhiswife"sparents〗结婚后住到女家的男子;入赘的女婿赘言zhuìyán〖unnecessarytalk〗说不必要的话赘疣zhuìyóu〖wart〗∶疣。皮肤上长的肉瘤反离群而赘疣。《楚辞·九章·惜诵》〖anythingsuperfluousoruseless〗∶比喻多余无用的东西能保其增益成文者,悉如作者之意,毫无赘疣、蛇足与其间乎?清·李渔《曲话·宾白》赘余zhuìyú〖surplus〗过剩余存剔除赘余的成分出处[①]［zhuì］［《__》之芮切，去祭，章。］“赘1”的繁体字。抵押，典质。入赘或招赘。指赘婿。会聚。连缀，附着。引申为连络，联合。引申为追逐尾随。赘瘤，肉瘤。谓生肉瘤。项椎骨。多馀；无用。添增；附加。累赘，患害。谓使受累赘，拖累。令人讨厌，厌恶。【酉集中】【_字部】_；康熙笔画：18；页码：页1213第21〔古文〕??【唐_】之芮切【集_】【__】朱芮切，?音?。【_文】以物__，从敖_。敖者，_放___取之也又【_·大雅】具_卒荒。【_】_，_也。【疏】_，__也。___而_之又【_子·大宗_】彼以生_附__疣。【_名】_，_也。_生一肉，_著_也又【史_·滑?_】淳于_者，_之__也。【_】索_曰：__，女之夫，比于子，如人疣_是_剩物也。【前_·___】家_子__出_。【_】_古曰：_，_也。家__有聘_，以身__也又_也。【前_·武帝_】毋_聚。【_】如淳曰：_，_也又行不_也。【老子·道德_】其于道也，若_食_行。【_】行之__曰_又言_也。【曾_·_官_】_一告二_之_又【博雅】_，定也又【玉篇】最也，得也又【集_】牛交切，音敖。【_篇】__，不媚。【卷六】【_部】编号：3951_，[之芮切]，以物__。从敖、_。敖者，_放；_，__取之也。

那个箭头符号表示对应的蕴含式是重言式，把符号左边当做蕴含式前件，右边当做蕴含式后件可得到这些公式是重言式

重言式（Tautology ）又称为永真式，它的汉语拼音为：[Chóng yán shì]，是逻辑学的名词，它的的数学符号是 models。

熬夜。

永远都是真的，简称永真