Deduktiivne loogika
From Wikipedia, the free encyclopedia
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.
See artikkel räägib loogika kui teaduse harust, arutlemise viisi kohta vaata artiklit deduktsioon. |
Traditsiooniliselt eristatakse deduktiivset loogikat induktiivsest loogikast. Tänapäeval reserveeritakse sõna „loogika“ enamasti deduktiivse loogika tähistamiseks.