Logika: Perbedaan antara revisi

Dasar penalaran dalam logika ada dua, yakni deduktif dan induktif.

 

{{main|Pembuktian melalui deduksi}}

Penalaran deduktif, kadang disebut logika deduktif, adalah penalaran yang membangun atau mengevaluasi argumen deduktif. Argumen dinyatakan deduktif jika kebenaran dari kesimpulan ditarik atau merupakan konsekuensi logis dari premis-premisnya. Argumen deduktif dinyatakan valid atau tidak valid, bukan benar atau salah. Sebuah argumen deduktif dinyatakan valid jika dan hanya jika kesimpulannya merupakan konsekuensi logis dari premis-premisnya.

# ∴ Setiap kuda punya sebuah jantung

 

{{main|Pembuktian melalui induksi}}

Penalaran induktif, kadang disebut logika induktif, adalah penalaran yang berangkat dari serangkaian fakta-fakta khusus untuk mencapai kesimpulan umum.