Bereziki matematikan eta logikan, korolarioak teorema batetik zuzenean eta maiz frogapen berezirik gabe eratortzen diren proposizioak dira.
Loturiko artikuluak
Tautologiak eta tautologikoaLogikan, tautologia edozein kasutan egiazkoa den proposizio bat da, proposizioko gaiak egia zein faltsuak izanda. Adibidez, "etxera joango naiz ala ez naiz joango" tautologia bat da, beti egia…
Inferentzia logikoaAgian inferentzia estatistikoa bilatzen ari zinen. Inferentzia logika erabiliz premisa eta ebidentziatik ateratako konklusiora iristeko argudiaketa prozesua da. Hedaduraz, konklusio horri berari ere inferentzia deitzen zaio.
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…