Deduktiivne arutlus
Deduktiivne arutlus on arutlus, mille eelduste tõesust peetakse järelduse tõesust tagavaks. Teiste sõnadega, peetakse võimatuks, et eelduste tõesuse korral oleks järeldus väär. Deduktsiooniks võidakse nimetada deduktiivse arutluse esitamist või arutlemist, mida vaadeldakse deduktiivset arutlust järgivana. Deduktiivse arutluse puhul peetakse järelduse tõesust eelduste tõesuses otsekui sisalduvaks. Deduktiivset arutlust peetakse tulenevaks definitsioonidest, loogika reeglitest ja matemaatika tulemustest.