Deduktiivne loogika

See artikkel räägib loogika kui teaduse harust, arutlemise viisi kohta vaata artiklit deduktsioon.

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.