Pengurangan , dalam logika, bukti yang ketat, atau derivasi, dari satu pernyataan (kesimpulan) dari satu atau lebih pernyataan (premis) - yaitu, rantai pernyataan, yang masing-masing merupakan premis atau konsekuensi dari pernyataan yang terjadi sebelumnya di buktikan. Penggunaan ini adalah generalisasi dari apa yang oleh filsuf Yunani Aristoteles disebut silogisme, tetapi silogisme sekarang diakui hanya sebagai kasus khusus dari deduksi. Juga, pandangan tradisional bahwa hasil deduksi "dari umum ke spesifik" atau "dari universal ke khusus" telah ditinggalkan sebagai salah oleh kebanyakan ahli logika. Beberapa ahli menganggap semua inferensi valid sebagai deduktif dalam bentuk dan, untuk alasan ini dan alasan lainnya, menolak kontras yang seharusnya antara deduksi dan induksi. Lihat jugametode aksiomatik; sistem formal; kesimpulan.
Baca Lebih Lanjut tentang Topik Ini Pemikiran: Deduksi Penalaran deduktif, atau deduksi, melibatkan analisis bentuk argumen yang valid dan menarik kesimpulan yang tersirat di tempat mereka .... Artikel ini terakhir direvisi dan diperbarui oleh Brian Duignan, Editor Senior.
