词序
更多
查询
词典释义:
corollaire
时间: 2023-09-23 10:23:14
[kɔrɔlεr]

n.m. 1. 〔逻,数〕系,系定理,推理 2. 直接后果,必然的结果 a. 有直接关连的

词典释义
n.m.
1. 〔逻,数〕系,系定理,推理
2. 直接后果,必然的结果
L'augmentation des prix de vente au détail est le corollaire de l'augmentation du prix de revient à la production.零售价格的上涨是生产成本上涨的必然结果。

a.
有直接关连的
transmettre un ordre et les consignes corollairees下达一个命令和有关指令

近义、反义、派生词
近义词:
conséquence,  implication,  contrecoup,  effet,  répercussion,  retombée,  séquelle,  suite
反义词:
théorème
联想词
conséquence 后果,结果; induit 感应电路; inévitable 不能避开的,不可避免的,必然的; principe 原则,方针; généralisation 推广,普及; paradoxe 反论,奇论; paradoxalement 反常,不合常理,自相矛; négation 定,认; accroissement 增加,增长; renoncement 放弃,克己; effet 效果,作用;
当代法汉科技词典
1. n. m 【数学】系
2. n. m. 【数学】系, 推论; 系定理 n. m. 【逻】系, 推论; 系定理

corollaire m. 推论; 系定理

短语搭配

L'augmentation des prix de vente au détail est le corollaire de l'augmentation du prix de revient à la production.零售价格的上涨是生产成本上涨的必然结果。

原声例句

Il existe bien sûr le corollaire « nicht barrierefrei » quand un passage n'est pas adapté.

当然,还有一个说法 " nicht barrierefrei " 是指未改造的通道。

[德法文化大不同]

Le partage de la Pologne est un théorème dont tous les forfaits politiques actuels sont les corollaires.

瓜分波兰仿佛成了一种定理,而目前的一切政治暴行只是它的推演

[悲惨世界 Les Misérables 第三部]

Autre facteur de déforestation : la croissance démographique et ses corollaires, l'urbanisation et l'aménagement du territoire qui font que petit à petit, le béton grignotte les forêts.

森林砍伐的另一个原因是人口增长极其导致的必然结果,城市化进程和土地使用规划,这些正导致混凝土逐渐侵蚀森林。

[Décod'Actu]

Ce petit corollaire de la leçon mit le comble à la stupéfaction de M. Baptistin.

巴浦斯汀先生刚才所受的教训经这一番证实他吓呆了。

[基督山伯爵 Le Comte de Monte-Cristo]

Or l’enfant errant est le corollaire de l’enfant ignorant.

流浪的孩子是无知的孩子的必然结果

[悲惨世界 Les Misérables 第三部]

Alors qu'est-ce qu'on peut dire aujourd'hui Géraldine Rioucaud sur la qualité des emplois justement, corollaire de ce taux de chômage relativement bas, historiquement bas, est-ce que les emplois français aujourd'hui sont de moins bonne qualité qu'ils ne l'étaient autrefois ?

[La Question du jour]

Mme Gervais (Lisa-Marie) : Oui, une petite dernière, en corollaire.

[presse conference]

例句库

La quatrième condition est la non-assimilation avec pour corollaire l'instauration d'un climat propice à la promotion de l'identité des minorités en tant que groupe.

第四项要求是不同化及其推论,即保护和促进少数群体特征的条件。

En corollaire à cette évolution, le débat général s'intensifie sur le statut juridique des ressources génétiques des fonds marins, dans les zones situées au-delà de la juridiction nationale.

由于这些新情况,对国家管辖范围外的海床中的遗传资源的法律地位问题的一般性辩论也正在变得日益激烈。

Le TNP exige l'application de garanties aux matières nucléaires dans les ENDAN qui y sont parties, laquelle nécessite la création d'un SNCC, mais la protection physique n'est pas un corollaire.

《不扩散核武器条约》要求对无核武器缔约国的核材料实施保障,并因此有必要建立“国家衡算控制系统”,但实物保护不是一项随之产生的要求。

Nous encourageons également les États parties à ratifier et à appliquer l'Accord sur les privilèges et immunités de la Cour pénale internationale, qui est un corollaire important et nécessaire au bon fonctionnement de la Cour.

我们也鼓励缔约国批准和执行《法院特权与豁免协定》,这是法院正常运转的一个重要和必然结果。

Non, la bonne gouvernance est synonyme d'une gouvernance efficace, et c'est un corollaire de la souveraineté.

不是这样,善政与有效施政是同义词,是与主权分不开的。

Le droit comparé souligne ainsi, de plus en plus, l'attachement de plusieurs pays aux mêmes composantes du «droit au juge», perçu de nos jours comme l'un des tous premiers corollaires de l'État de droit.

其结果是,比较法日益表明,大多数国家都接受了向法官申诉的权利的同样要素,这一权利在今天被视为法治的主要必然结果之一。

Le droit au juge est, en effet, un corollaire indispensable de l'État de droit.

“向法官申诉的权利”是实行法治不可或缺的一个必然条件。

Les droits de la défense, corollaire indispensable du droit au juge, font que leur respect représente une exigence majeure de tout système véritable de garantie des libertés fondamentales, notamment en ce qui concerne le droit à un recours.

凡真正保证基本自由特别是保证得到补救的权利的制度,都必须尊重辩护权,因为该权利是向法官申诉的权利不可避免的必然结果。

Il nous faut également juguler le phénomène des narcotrafiquants qui transforment les êtres humains en valeur marchande au XXIe siècle, avec tous ses corollaires, comme le travail des enfants, les industries du sexe, et la migration clandestine.

我们还需要制止毒品贩运的现象,它正与其造成的很多后果——包括童工、性产业和非法移民—— 一道,把人变为商品。

Les scénarios de l'ÉM montrent également que la lutte contre la désertification et ses corollaires économiques a d'autant plus de chances d'être efficace que des approches de gestion proactives sont suivies.

千年评估的推测还表明,处理荒漠化问题及其有关的经济情况,如利用超前的管理方法,可能更有效。

Les conflits et le manque de stabilité qui marquent de nombreuses régions ont comme corollaire la croissance d'organisations criminelles puissantes.

许多地区的冲突和不稳定都与犯罪组织的发展壮大有着密切联系。

Il est de la plus haute importance que ces questions soient envisagées dès les premiers stades de la reconstruction d'urgence de manière à créer un fondement approprié pour la mise en place d'initiatives novatrices, pour faire participer la communauté et pour renforcer les structures d'état locales dans la lutte contre la criminalité organisée (et de son corollaire, la corruption), au moyen de mesures de prévention et d'actions locales.

极其重要的是,在紧急重建的初期阶段就考虑这些问题,以便为制定创新的主动行动、社区参与和加强地方政府结构奠定适当的基础,从而得以通过预防和地方行动打击有组织犯罪(以及相关的腐败问题)。

On ne saurait trop insister sur l'importance de l'entrée en vigueur de la Convention contre la criminalité organisée et sur la mise en place et le fonctionnement de la Conférence des Parties qui en est le corollaire.

《打击有组织犯罪公约》的生效以及其缔约方大会的设立和运作的重要性,怎么强调也不为过。

L'accroissement de la dette extérieure est certainement un corollaire négatif de cette aide indispensable.

外债增加当然是这种必不可少的援助带来的一种负面影响。

À mesure que ces zones se développent, certaines sont passées du simple libre-échange à ses corollaires, qui sont une plus grande liberté de circulation des personnes à l'intérieur de la zone et une uniformisation des contrôles sur les personnes provenant de l'extérieur de la zone.

随着这些区的发展,有些则超越了简单的自由贸易原则,自然走向个人在区内更大行动自由的原则,并加强了对区外个人的统一管制。

Deux des «13 mesures» adoptées par consensus à l'issue de la dernière Conférence d'examen du TNP figurent, bien entendu, parmi les éléments constitutifs de diverses propositions de programme de travail de la Conférence, situation salutaire dont le corollaire est l'absence de proposition écrite prônant une démarche différente.

当然,在上次审议大会协商一致通过的“13项步骤”中,有两项是关于裁谈会工作计划的各项提案所突出强调的,相应的是,本机构没有任何书面提案试图提出不同的行动方针,这是值得庆幸的。

L'accent que le Cadre d'action de Hyogo place sur la dimension nationale de la mise en œuvre et du suivi, dont la responsabilité première incombe aux États, appelle en corollaire la création de liens de participation et de collaboration étroits avec la société civile et les autorités nationales et locales, les secteurs de développement nationaux, les systèmes nationaux de gestion des catastrophes et les organismes de soutien scientifiques et techniques.

《兵库框架》在其执行和后续行动中,强调国家方面,由各国承担首要责任,因此必然要求与民间社会、国家和地方当局、国家发展部门、国家灾害管理系统和科学技术支助组织建立牢固的参与和协作关系。

Toutefois, l'idée que les marchés et les technologies se sont par conséquent libérés des contraintes nationales liées à la dotation en ressources, aux dispositifs institutionnels et aux choix politiques semble tirée par les cheveux et son corollaire selon lequel la stagnation de certaines régions en développement s'explique par leurs réticences à affronter la concurrence mondiale ne rend pas bien compte des principales tendances observées en matière de développement au cours des dix dernières années.

不过,市场和技术已最终脱离国家资源禀赋、体制结构和政策选择的观念似乎过于牵强,某些发展中地区不愿意面对全球竞争是因为经济停滞不前的说法也是对过去十年左右主要发展趋势的曲解。

Le recours au moyen juridictionnel pour régler pacifiquement les différends a nécessairement pour corollaire l'obligation d'appliquer pleinement, de bon gré et de bonne foi, la décision de la Cour internationale de Justice.

为和平解决争端而诉诸法律作为必然结果就必须有义务充分、自愿和有诚意地执行国际法院决定。

L'exigence que les personnes qui résident habituellement en Ontario aient un statut d'immigrant qui leur permet ou qui leur permettra sous peu de demeurer en permanence au Canada est un corollaire logique de l'exigence qu'une personne ait l'intention d'établir sa demeure en permanence en Ontario.

要求通常居住在安大略省的居民获得允许或即将允许他们在加拿大永久居留的移民地位,是要求个人打算在安大略省永久安家的逻辑推论。

法语百科

Un théorème est une affirmation (mathématique) qui peut être démontrée, c'est-à-dire une assertion qui peut être établie comme vraie au travers d'un raisonnement logique construit à partir d'axiomes. Un théorème est à distinguer d'une théorie.

Une fois le théorème démontré, il est considéré comme vrai quelle que soit la valeur de vérité de sa prémisse (hypothèse de base) car il se présente sous la forme d'une implication : si A est vraie alors B est nécessairement vraie. Il peut alors être utilisé pour démontrer d'autres propositions. Démontrer le théorème consiste à démontrer l'impossibilité d'avoir à la fois A vrai et B faux.

Un théorème a généralement :

  • des hypothèses de base, i.e. des conditions qui peuvent être énumérées dans le théorème ou décrites d'avance ;
  • une conclusion, i.e. une affirmation mathématique qui est vraie sous les conditions de base.

La démonstration, bien que nécessaire à la classification de la proposition comme « théorème », n'est pas considérée comme faisant partie du théorème.

Autre définition possible d'un théorème : « un énoncé dont on peut démontrer l’exactitude. »

La démonstration comprend :

des axiomes ; les hypothèses du théorème ; d'autres théorèmes déjà démontrés.

Chaque étape de la preuve est liée aux précédentes par des règles d'inférence logiques.

D'autres formes d'assertions

Au sens large toute assertion effectivement démontrée peut prendre le nom de théorème. Dans les ouvrages de mathématiques, il est cependant d'usage de réserver ce terme aux affirmations considérées comme nouvelles ou particulièrement intéressantes ou importantes. Selon leur importance, ou leur utilité, les autres assertions peuvent prendre des noms différents :

lemme : assertion servant d'intermédiaire pour démontrer un théorème plus important ;

corollaire : résultat qui découle directement d’un théorème prouvé ; on trouve aussi, dans les ouvrages anciens, le terme scholie.

proposition : résultat relativement simple qui n'est pas associé avec un théorème particulier ;

remarque : résultat intéressant ou conséquence qui peut faire partie de la preuve ou d'une autre affirmation ;

conjecture : proposition mathématique dont on ignore la valeur de vérité. Une fois prouvée, une conjecture devient un théorème.

Comme énoncé ci-dessus, un théorème exige un raisonnement logique basé sur des axiomes. Cela consiste en une série d'axiomes fondamentaux (voir système d'axiomes) et un procédé d'inférence qui permet de dériver les axiomes en de nouveaux théorèmes et d'autres théorèmes démontrés auparavant. Dans la logique des propositions, n'importe quelle affirmation démontrée est appelée un théorème.

Articles connexes

Liste des théorèmes pour une liste de théorèmes célèbres et de conjectures

Théorème d'existence

Portail des mathématiques

Portail de la logique

中文百科

定理(英语:Theorem)是经过受逻辑限制的证明为真的陈述。一般来说,在数学中,只有重要或有趣的陈述才叫定理。证明定理是数学的中心活动。一个定理陈述一个给定类的所有(全称)元素一种不变的关系,这些元素可以是无穷多,它们在任何时刻都无区别地成立,而没有一个例外。(例如:某些是,某些是,就不能算是定理)。

猜想是相信为真但未被证明的数学叙述,或者叫做命题,当它经过证明后便是定理。猜想是定理的来源,但并非唯一来源。一个从其他定理引伸出来的数学叙述可以不经过成为猜想的过程,成为定理。

如上所述,定理需要某些逻辑框架,继而形成一套公理(公理系统)。同时,一个推理的过程,容许从公理中引出新定理和其他之前发现的定理。

在命题逻辑,所有已证明的叙述都称为定理。

各种数学叙述(按重要性来排列)

引理(又称辅助定理,补理)-某个定理的证明的一部分的叙述。它并非主要的结果。引理的证明有时还比定理长,例如舒尔引理。

推论-一个从定理随之而即时出现的叙述。若命题B可以很快、简单地推导出命题A,命题A为命题B的推论。

命题

定理

数学原理

结构

定理一般都有许多条件。然后有结论——一个在条件下成立的数学叙述。通常写作「若条件,则结论」。用符号逻辑来写就是条件→结论。而当中的证明不视为定理的成分。

逆定理

若某叙述和其逆叙述都为真,条件必要且充足。

若某叙述为真,其逆叙述为假,条件充足。

若某叙述为假,其逆叙述为真,条件必要。

逻辑中的定理

定理1一个没有量词(Quantificateur)的有限命题集合Γ的可满足性问题(Satisfaisabilite)是可以决定的(Decidable)

定理2一阶逻辑命题的永真性(Validite)是可以通过一个肯定测试(Test Positif)来知道的。 证明:

证明:

定理3所有公理化(Axiomatisable)的定理T是可递推枚举的(Recursivement Enumerable)。 证明:

证明:

定理4所有公理化的完整的(Complete)定理T是可递推的。 证明:

证明:

定理5所有可递推枚举的定理T是公理化的。 证明:

证明:

法法词典

corollaire nom commun - masculin ( corollaires )

  • 1. conséquence qui découle automatiquement

    une liberté qui a pour corollaire l'angoisse

  • 2. proposition logique ou mathématique qui découle automatiquement

    les corollaires d'un axiome

corollaire adjectif ( même forme au masculin et au féminin, pluriel corollaires )

  • 1. qui découle automatiquement

    une notion corollaire d'une autre

相关推荐

biais biais, eadj. 斜的, 歪的[仅用于建筑]n. m. 1. 斜, 倾斜, 歪斜; 2. <转>迂回的方法, 转弯抹角的办法, 花招, 借口, 遁词; 3. <转>方面, 角度; 斜向4. 斜裁的布条5.【统计学】,性en/ de biaisloc.adv1. 斜向地;歪斜地2. <转>迂回地,转弯抹角地,间接地par le biais de loc.prép.…;用…的(间接)办法常见用法

malodorant a. (m) 恶臭的, 难闻的

tribun n.m.1. (古罗马的)军官;行政长官 2. 平民演说;辩护士;民权保卫者3. 【史】(法拿破仑时期的)法案评委员会委员

immigrant immigrant, ea. 入境移居的n. 入境移

milliardaire a. 拥有十亿资财; 巨富, 豪富n. 亿万巨富, 大富豪

ciboule n. f 葱

incertain incertain, ea.1. 知, 可靠;未 2. 分明, 清晰;朦 3. (在未来)变化, 无法肯 4. 犹豫决 — n.m.【财政金融】(外汇)直接标价常见用法

automate n. m.木偶, 玩具, 木头, 惟命是从者; gestes d'automate 机械作 机, 装置, 机器, 售货售票机

apprivoiser 驯服

quitter v. t. 1. [古]免(债务); 让给2. 弃约; 放弃, 脱离; 中断, 丢下: 3. 离开, 走出:4. 放开, 放松: 5. 脱掉, 去(帽等): se quitter v. pr. 分离, 分别常见用法