Deduktiivne loogika

Deduktiivne loogika uurib, mille poolest erinevad teistest arutlustest need arutlused, milles järeldus järeldub eeldus(t)est. Järelduse järeldumine eeldustest on üks viis, kuidas eeldused on järeldusele heaks põhjendiks.

Traditsiooniliselt eristatakse deduktiivset loogikat induktiivsest loogikast. Tänapäeval reserveeritakse sõna „loogika“ enamasti deduktiivse loogika tähistamiseks.

Loogika