About: Corollary

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

In mathematics and logic, a corollary (/ˈkɒrəˌlɛri/ KORR-ə-lerr-ee, UK: /kɒˈrɒləri/ korr-OL-ər-ee) is a theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else (e.g., violence as a corollary of revolutionary social changes).

Property Value
dbo:abstract
  • Un corol·lari és una proposició matemàtica que és conseqüència immediata d'una altra proposició prèviament demostrada. En matemàtiques un corol·lari es dedueix normalment d'un teorema. La utilització del terme corol·lari, en lloc de proposició o teorema, és molt subjectiva. La Proposició B és un corol·lari de la proposició A si B es pot deduir fàcilment de A o es fa evident de la seva demostració, però el significat de fàcilment o evident pot variar depenent de l'autor i el context. La importància del corol·lari és, normalment, secundària respecte al teorema inicial; B, difícilment es considerarà un corol·lari si les seves conseqüències matemàtiques són tan significatives com les de A. A vegades, un corol·lari té una breu demostració que explica la seva obtenció, altres vegades la seva obtenció es considera evident. (ca)
  • اللازِمة أو النتاج (بالإنجليزية: Corollary)‏ في الرياضيات هو بيان يأتي من بديهيات. تتبع به مبرهنة. (ar)
  • Korollar (lateinisch corollarium „Zugabe“, „Geschenk“, eigentlich „Kränzchen“; von lat. corona „Kranz“, corolla „Kränzchen“) bezeichnet in der Mathematik und Logik eine Aussage, die sich aus einem schon bewiesenen Satz, dem Beweis eines schon bewiesenen Satzes oder aus einer Definition ohne großen Beweisaufwand ergibt. Oft sind Korollare triviale (d. h. einfache) Schlussfolgerungen. Die Abgrenzung zwischen Satz und Korollar ist aber ebenso subjektiv wie die zwischen Lemma und Satz. In der Rechtswissenschaft wird in Bezug auf die Befugnisse zweier Organe unter Umständen auf die sog. Korollartheorie verwiesen. So sollen z. B. die Rechte eines durch den Bundestag eingesetzten Untersuchungsausschuss nicht weiter gehen können als die Rechte des Bundestags selbst. (de)
  • In mathematics and logic, a corollary (/ˈkɒrəˌlɛri/ KORR-ə-lerr-ee, UK: /kɒˈrɒləri/ korr-OL-ər-ee) is a theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else (e.g., violence as a corollary of revolutionary social changes). (en)
  • Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia obvia que no necesita demostración. Siempre se refiere a una inferencia escueta e inmediata, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema y teorema, siendo el lema una proposición breve.​ (es)
  • En mathématiques et en logique, un corollaire ou corolaire (du latin tardif corollarĭum) est une proposition déduite d'une vérité déjà démontrée. (fr)
  • In matematica, il corollario è un enunciato la cui deduzione e dimostrazione segue in maniera naturale da un teorema, un lemma o una qualsiasi proposizione derivabile dagli assiomi della teoria stessa. Il termine corollario deriva dalla parte dei fiori chiamata corolla. (it)
  • 수학에서, 명제나 정리의 따름 정리(-定理, 영어: corollary) 또는 계(系)는 그 명제나 정리에서 바로 유도되는 명제이다. 따름 정리의 선언은 보통 그를 유도하는 명제나 정리의 선언을 뒤따른다. 따름 정리 여부는 보통 주관적이다. (ko)
  • Een corollarium (Latijn: toegift), of eenvoudiger: gevolg, is een uitspraak die gemakkelijk volgt uit een eerdere uitspraak. In de wiskunde volgt een corollarium typisch uit een voorafgaande stelling. Het gebruik van "corollarium", in plaats van "propositie" of "stelling" is subjectief. Stelling B is een corollarium van stelling A, als B 'gemakkelijk' uit A kan worden gededuceerd. De invulling van "gemakkelijk" varieert afhankelijk van auteur en context. De betekenis van een corollarium wordt vaak als secundair beschouwd in vergelijking met de betekenis van de oorspronkelijke stelling. Het is ongebruikelijk dat men B een corollarium noemt, als de wiskundige gevolgen ervan even belangrijk zijn als die van A. Soms heeft een corollarium een bewijs dat de afleiding uit de voorafgaande stelling verklaart, maar soms wordt de afleiding ook als vanzelfsprekend beschouwd. (nl)
  • 数学において、ある主張(典型的には定理)の系(けい、英: corollary)とは、その(既知の)主張から「直ちに」証明される主張をいう。 (ja)
  • Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения. (ru)
  • En följdsats eller korollarium är en sats som är en omedelbar följd av en annan sats. Ordet korollarium kommer av latinets corollarium som betyder liten krans eller gåva. (sv)
  • Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada. Assim como proposição resultante de uma verdade. É igualmente uma decorrência imediata de um teorema. Por exemplo, o comprimento da diagonal de um quadrado cujo lado possui comprimento é dado por . Isso é um corolário do teorema de Pitágoras. (pt)
  • 在數學上,推论(corollary, 也稱為系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出,则稱B为A的推论。 推论、定理、命題等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。 (zh)
dbo:wikiPageExternalLink
dbo:wikiPageID
  • 168865 (xsd:integer)
dbo:wikiPageLength
  • 6047 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 1087229963 (xsd:integer)
dbo:wikiPageWikiLink
dbp:wikiPageUsesTemplate
dcterms:subject
gold:hypernym
rdfs:comment
  • اللازِمة أو النتاج (بالإنجليزية: Corollary)‏ في الرياضيات هو بيان يأتي من بديهيات. تتبع به مبرهنة. (ar)
  • In mathematics and logic, a corollary (/ˈkɒrəˌlɛri/ KORR-ə-lerr-ee, UK: /kɒˈrɒləri/ korr-OL-ər-ee) is a theorem of less importance which can be readily deduced from a previous, more notable statement. A corollary could, for instance, be a proposition which is incidentally proved while proving another proposition; it might also be used more casually to refer to something which naturally or incidentally accompanies something else (e.g., violence as a corollary of revolutionary social changes). (en)
  • Corolario (del latín corollarium) es un concepto referido a una proposición tanto en matemática como en lógica que se utiliza para designar la consistencia de un teorema ya demostrado, sin necesidad de invertir esfuerzo adicional en su demostración. En pocas palabras, es una consecuencia obvia que no necesita demostración. Siempre se refiere a una inferencia escueta e inmediata, si bien la distinción entre teorema y corolario es tan subjetiva como entre lema y teorema, siendo el lema una proposición breve.​ (es)
  • En mathématiques et en logique, un corollaire ou corolaire (du latin tardif corollarĭum) est une proposition déduite d'une vérité déjà démontrée. (fr)
  • In matematica, il corollario è un enunciato la cui deduzione e dimostrazione segue in maniera naturale da un teorema, un lemma o una qualsiasi proposizione derivabile dagli assiomi della teoria stessa. Il termine corollario deriva dalla parte dei fiori chiamata corolla. (it)
  • 수학에서, 명제나 정리의 따름 정리(-定理, 영어: corollary) 또는 계(系)는 그 명제나 정리에서 바로 유도되는 명제이다. 따름 정리의 선언은 보통 그를 유도하는 명제나 정리의 선언을 뒤따른다. 따름 정리 여부는 보통 주관적이다. (ko)
  • 数学において、ある主張(典型的には定理)の系(けい、英: corollary)とは、その(既知の)主張から「直ちに」証明される主張をいう。 (ja)
  • Следствие в математике — утверждение, которое легко можно доказать из предыдущего утверждения. (ru)
  • En följdsats eller korollarium är en sats som är en omedelbar följd av en annan sats. Ordet korollarium kommer av latinets corollarium som betyder liten krans eller gåva. (sv)
  • Um corolário (do latim tardio corollarĭum) é uma afirmação deduzida de uma verdade já demonstrada. Assim como proposição resultante de uma verdade. É igualmente uma decorrência imediata de um teorema. Por exemplo, o comprimento da diagonal de um quadrado cujo lado possui comprimento é dado por . Isso é um corolário do teorema de Pitágoras. (pt)
  • 在數學上,推论(corollary, 也稱為系、系理)指能够“简单明了地”从前述命题推出的论断,推论往往在定理后出現。如果命题B能够被简单明了的从命题A推导出,则稱B为A的推论。 推论、定理、命題等术语的使用区别往往是比较主观的,因为“简单明了”的定义本来就与作者及上下文相关。当然,推论一般被认为不如定理重要。 (zh)
  • Un corol·lari és una proposició matemàtica que és conseqüència immediata d'una altra proposició prèviament demostrada. En matemàtiques un corol·lari es dedueix normalment d'un teorema. La utilització del terme corol·lari, en lloc de proposició o teorema, és molt subjectiva. La Proposició B és un corol·lari de la proposició A si B es pot deduir fàcilment de A o es fa evident de la seva demostració, però el significat de fàcilment o evident pot variar depenent de l'autor i el context. La importància del corol·lari és, normalment, secundària respecte al teorema inicial; B, difícilment es considerarà un corol·lari si les seves conseqüències matemàtiques són tan significatives com les de A. A vegades, un corol·lari té una breu demostració que explica la seva obtenció, altres vegades la seva obt (ca)
  • Korollar (lateinisch corollarium „Zugabe“, „Geschenk“, eigentlich „Kränzchen“; von lat. corona „Kranz“, corolla „Kränzchen“) bezeichnet in der Mathematik und Logik eine Aussage, die sich aus einem schon bewiesenen Satz, dem Beweis eines schon bewiesenen Satzes oder aus einer Definition ohne großen Beweisaufwand ergibt. Oft sind Korollare triviale (d. h. einfache) Schlussfolgerungen. Die Abgrenzung zwischen Satz und Korollar ist aber ebenso subjektiv wie die zwischen Lemma und Satz. (de)
  • Een corollarium (Latijn: toegift), of eenvoudiger: gevolg, is een uitspraak die gemakkelijk volgt uit een eerdere uitspraak. In de wiskunde volgt een corollarium typisch uit een voorafgaande stelling. Het gebruik van "corollarium", in plaats van "propositie" of "stelling" is subjectief. Stelling B is een corollarium van stelling A, als B 'gemakkelijk' uit A kan worden gededuceerd. De invulling van "gemakkelijk" varieert afhankelijk van auteur en context. (nl)
rdfs:label
  • Corollary (en)
  • لازمة (ar)
  • Corol·lari (ca)
  • Korollar (de)
  • Corolario (es)
  • Corollaire (fr)
  • Corollario (it)
  • 따름정리 (ko)
  • 系 (数学) (ja)
  • Corollarium (nl)
  • Corolário (pt)
  • Следствие (математика) (ru)
  • Följdsats (sv)
  • 推论 (zh)
owl:sameAs
prov:wasDerivedFrom
foaf:isPrimaryTopicOf
is dbo:wikiPageRedirects of
is dbo:wikiPageWikiLink of
is foaf:primaryTopic of
Powered by OpenLink Virtuoso    This material is Open Knowledge     W3C Semantic Web Technology     This material is Open Knowledge    Valid XHTML + RDFa
This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License