Txikipedia:Logika
Logika arrazoiketa aztertzen duen filosofiaren adarra da. Zerbait egia ala gezurra den jakiten laguntzen digu. Logikaren adibide ezagun bat da Aristotelesen ondoko silogismo hau:
- Gizaki guztiak dira hilkorrak.
- Sokrates gizakia da.
- Beraz, Sokrates hilkorra da.
Bestalde, logika hainbat esparrutan erabiltzen da. Adibidez, ordenagailuek erabiltzen dute, algoritmoetan: algoritmoak errezeta antzeko zerbait dira, ordenagailuari zer egin eta noiz egin esaten diote ordenagailuari. Matematikan ere erabiltzen da, eragiketa matematikoak zuzenak direla frogatzek; logika matematikoa deitzen zaio horri.