Bereziki matematikan eta logikan, korolarioak teorema batetik zuzenean eta maiz frogapen berezirik gabe eratortzen diren proposizioak dira.
Loturiko artikuluak
Konjuntzioa (logika)Logikan, konjuntzioa bi proposizio lotzen dituen lokailu logiko bat da, egiazko suertatzen dena bi proposizioak egiazkoak direnean, eta beste kasu guztietan faltsua suertatzen dena. [latexpage] $\land$ ikurraren bitartez…
Logika juridikoaLogika juridikoa zuzenbidean eta bereziki epaiketetan erabiltzen diren argudioak, arrazonamenduak eta dedukzioak aztertu eta proposatu dituen jakintza-arloa da, horien zuzentasuna eta egokitasuna ebaluatuz, logika formalaren arauen nahiz ordenamendu…
LogikaLogika inferentzia deduktiboaren bidezko arrazonamendua aztertzen duen jakintza-arloa da, premisa izeneko proposizioetatik konklusioetara nola heldu aztertzen duena; zehatzago, arrazonamendu horren baliozkotasun formala aztertzen du, premisetatik konklusiora egindako urratsak…