Loogika konspekt 6-10
Neid väljendeid nimetatakse eelduse ja tuletuse seoseks.
Loogika ülesandeks on seaduste ja printsiipide formaliseerimine, millest kinnipidamine on
paratamatu, kui soovime saada tõestest eeldustest tõese järelduse.
Loogikas on mitmeid formaliseeritud süsteeme ning järeldamise reeglid ja printsiibid on
teatud mõttes suhtelised, nad sõltuvad konkreetse loogika valdkonna süntaksi iseärasustest.
Kuigi arutluse kehtivust saab kontrollida mitmeti, on suure enamuse loogikavaldkondade
arutlusmeetodite aluseks ikkagi klassikaline loogika.
Arutlus on kehtiv (ik valid) siis ja ainult siis, kui ei saa olla nii, et arutluse eeldused on
tõesed väited, aga paratamatult tuletatud järeldus on väär. Kehtiv arutlusvorm garanteerib
tõeste eelduste puhul tõese järelduse ning on loogika seisukohalt seaduspärane.
Arutlus ei ole kehtiv (või on mittekehtiv ik invalid) siis, kui antud vormi järgi arutledes ei
paratamatu, et me saame tõestest eeldustest tõese järelduse
annaabi.ee 
