Login
   

s/n5780563

New Query

Information
has gloss(noun) (logic) an inference that follows directly from the proof of another proposition
corollary
has glosseng: A corollary is a statement which follows readily from a previous statement. In mathematics a corollary typically follows a theorem. The use of the term corollary, rather than proposition or theorem, is intrinsically subjective. Proposition B is a corollary of proposition A if B can readily be deduced from A, but the meaning of readily varies depending upon the author and context. The importance of the corollary is often considered secondary to that of the initial theorem; B is unlikely to be termed a corollary if its mathematical consequences are as significant as those of A. Sometimes a corollary has a proof that explains the derivation; sometimes the derivation is considered to be self-evident.
lexicalizationeng: corollary
lexicalizationeng: Corrolary
subclass of(noun) the reasoning involved in drawing a conclusion or making a logical judgment on the basis of circumstantial evidence and prior conclusions rather than on the basis of direct observation
illation, inference
Meaning
Arabic
has glossara: إن اﻟنتاج ( باللاتينية > تاج ) في الرياضيات: بيان يأتي من بديهيات، تتبّع به مبرهنة۔ أي أن العبارة ב نتاجٌ للعبارة א إذ أمكن استخلاص العبارة ב من العبارة א۔
lexicalizationara: نتاج
Standard Arabic
Show unreliable ▼
Asturian
Show unreliable ▼
Catalan
lexicalizationcat: corol·lari
Danish
Show unreliable ▼
German
has glossdeu: Ein Korollar (von lat. corollarium, n. = „die Zugabe“, „das Geschenk“; Genus: neutrum; Mehrzahl: Korollare) 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 handelt es sich um eine einfache Schlussfolgerung, wobei aber die Abgrenzung zwischen Satz und Korollar ebenso subjektiv wie die zwischen Lemma und Satz ist.
lexicalizationdeu: Korollar
Show unreliable ▼
Esperanto
lexicalizationepo: korolario
Finnish
has glossfin: Korollaari eli seurauslause on matematiikassa lauseesta johdettu toinen lause, jonka todistus on poikkeuksellisen lyhyt tai intuitiivisesti selvä.
lexicalizationfin: Korollaari
Show unreliable ▼
French
lexicalizationfra: Corollaire
Show unreliable ▼
Hebrew
Show unreliable ▼
Hindi
has glosshin: उपप्रमेय वह कथन है जो किसी प्रमेय से सीधे और स्पष्टत: निकल जाता है। इस शब्द का भी कोई औपचारिक परिभाषा नहीं है कि किसे "प्रमेय" कहा जाय और किसे उपप्रमेय।
lexicalizationhin: उपप्रमेय
Croatian
Show unreliable ▼
Indonesian
lexicalizationind: kesimpulan
Icelandic
has glossisl: Fylgisetning eða fylgiregla er rökyrðing sem hægt er að sanna með því að nota aðra rökyrðingu sem hefur þegar verið sönnuð, en það er ekki óalgengt að þær fylgi setningum í stærðfræði.
lexicalizationisl: Fylgisetning
Italian
has glossita: In matematica, con il termine di origine floreale corollario si intende un enunciato che viene dimostrato nell'ambito di una teoria formale – come ad esempio un teorema, un lemma o una qualsiasi proposizione derivabile dagli assiomi della teoria stessa mediante un procedimento dimostrativo – e che in una esposizione sistematica della teoria viene presentato come fatto che segue da vicino un enunciato di maggiore evidenza cui si riserva il ruolo di teorema.
lexicalizationita: corollario
Japanese
has glossjpn: 結果（けっか）とはある物事を行った後に生じた現象、状況、物象をあらわす言葉である。
lexicalizationjpn: 結果
Latin
Show unreliable ▼
Malayalam
has glossmal: ഒരു പ്രമേയത്തിന്റെ (proposition) ഫലമായി കിട്ടുന്ന മറ്റൊരു പ്രമേയമാണ് അനുനിയമം അഥവാ ഉപപ്രമേയം.മുന്‍പേ തെളിയിച്ച ഒരു ഫലത്തിന്റെ സത്വരഅനന്തരഫലമാണ് അനുനിയമം. അനുനിയമങ്ങള്‍ സാധാരണയായി സങ്കീര്‍ണ്ണങ്ങളായ സിദ്ധാന്തങ്ങള്‍ പ്രയോഗിക്കാനും ഉപയോഗിക്കാനും എളുപ്പമായ ഭാഷയിലാണ് വിവരിക്കുന്നത്. ഗണിതശാസ്ത്രത്തില്‍ ഒരു സിദ്ധാന്തത്തെ തുടര്‍ന്നാണ് സാധാരണയായി ഉപപ്രമേയം വരുന്നത്. പ്രമേയംB പ്രമേയംA യുടെ ഉപപ്രമേയം ആവണമെങ്കില്‍ Aയില്‍ നിന്നും Bയെ അനുമാനിച്ചെടുക്കാന്‍ സാധിക്കണം. ചില സമയങ്ങളില്‍ ഉപപ്രമേയത്തിന് തെളിവുകള്‍ നല്‍കാറുണ്ട്.അത് അനുമാനത്തെ വിവരിക്കുന്നതാവാം.ചിലപ്പോള്‍ ഈ തെളിവ് സ്വയം സ്പഷ്ടങ്ങളും ആകാം.
lexicalizationmal: അനുനിയമം
Macedonian
has glossmkd: Королар (од лат. corollarium) е исказ кој непосредно следи од претходно докажан исказ. Во математиката короларот обично ѝ следи на една теорема. Употребата на поимот королар, наместо исказ или теорема е субјективна сама по себе. Исказот Б е королар на исказот А ако Б може непосредно да се изведе од А, но значењето на зборот непосредно зависи од авторот и контекстот. Честопати се смета дека короларот е од второстепено знаечење во споредба со првичната теорема, која се смета за најважна; Б најверојатно не би се нарекло королар ако неговите математички последици се еднакво значајни како последиците на А. Понекогаш короларот има доказ кој го објаснува изведувањето; понекогаш изводот се смета за очигледен сам по себе.
lexicalizationmkd: королар
Dutch
has glossnld: Een corolarium is een uiting, die gemakkelijk voortvloeit uit een eerdere uiting. In de wiskunde volgt een corolarium een typisch uit een stelling. Het gebruik van de term corolarium, in plaats van propositie of stelling is intrinsiek subjectief. Propositie B is een corolarium van propositie A, als B gemakkelijk kan worden gededuceerd uit A, maar de invullig van het woord gemakkelijk varieert afhankelijk van auteur en context. Het belang van het corolarium wordt vaak als secundair beschouwd in vergelijking met het belang van de oorspronkelijke stelling; Het is onwaarschijnlijk dat men B een corolarium noemt als de wiskundige gevolgen ervan even belangrijk zijn als die van A. Soms heeft een corolarium een bewijs dat de afleiding verklaart, maar soms wordt de afleiding ook als vanzelfsprekend beschouwd.
lexicalizationnld: Corollarium
lexicalizationnld: Corrolarium
Iranian Persian
Show unreliable ▼
Portuguese
has glosspor: Um corolário (do latim tardio corollarĭum) é uma decorrência imediata de um teorema.
lexicalizationpor: corolário
Russian
lexicalizationrus: вывод
Slovak
Show unreliable ▼
Castilian
lexicalizationspa: corolario
Serbian
has glosssrp: Короларија или королар је закључак, последица. У математици је то врста теореме, очигледна последица основне теореме или теорема којој посебно доказивање није потребно јер очигледно следи из претходне теореме.
lexicalizationsrp: Короларије
Show unreliable ▼
Swedish
has glossswe: 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.
lexicalizationswe: Följdsats
Show unreliable ▼
Thai
Show unreliable ▼
Chinese
lexicalizationzho: 推论
Zulu
Show unreliable ▼
Links
has category(noun) the branch of philosophy that analyzes inference
logic
Show unreliable ▼

Query

Word: (case sensitive)
Language: (ISO 639-3 code, e.g. "eng" for English)

Lexvo © 2008-2024 Gerard de Melo.   Contact   Legal Information / Imprint