Inferentzia ebidentziatik eta egiazkotzat hartzen diren bestelako proposizioetatik logika erabiliz ateratako konklusioa da. Konklusio horretara heltzeko arrazonamenduari, argudioa garatzeko prozesuari alegia, ere inferentzia deitzen zaio.
Loturiko artikuluak
ArgudioakArgudioak premisa izeneko proposizioetatik abiaraziz konklusioetara heltzen diren proposizio-multzoak dira. Argudioak egiteko prozesuari inferentzia deritzo, batzuetan konklusioa izendatzeko ere erabiltzen dena. Argudioa zuzena edo baliozkoa izango da, premisak…
KorolarioaBereziki matematikan eta logikan, korolarioak teorema batetik zuzenean eta maiz frogapen berezirik gabe eratortzen diren proposizioak dira.
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…