Induktiivinen päättely
Induktiivinen päättely eli induktio on päättelymuoto, joka lähtee liikkeelle yksittäisestä havaintojoukosta ja muodostaa niistä yleistyksen tai teorian.
Luonnollinen päättely
Luonnollinen päättely on matemaattisen logiikan menetelmä tehdä johtopäätöksiä todeksi oletetusta tiedosta. Sitä käytetään erityisesti propositiologiikassa ja predikaattilogiikassa päättelemään oletuksista uuden lauseen todeksi käsittelemällä lauseita sekä niiden välisiä ja sisäisiä suhteita. Luonnollinen päättely tunnetaan myös Gentzenin päättelysääntöjärjestelmänä matemaatikko Gerhard Gentzenin mukaan.