Corolario

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.[1]

A modo de definición

Una proposición si es consecuencia de un teorema se denomina corolario [2]

Other Languages
català: Corol·lari
Deutsch: Korollar
English: Corollary
suomi: Korollaari
हिन्दी: उपप्रमेय
íslenska: Fylgisetning
italiano: Corollario
日本語: 系 (数学)
한국어: 따름정리
Latina: Corollarium
македонски: Королар
മലയാളം: അനുനിയമം
Nederlands: Corollarium
ਪੰਜਾਬੀ: ਕੋਰੋਲਰੀ
português: Corolário
Simple English: Corollary
српски / srpski: Короларије
svenska: Följdsats
中文: 推论