Logika: Perbedaan antara revisi
Konten dihapus Konten ditambahkan
→Penalaran deduktif: Perbaikan kesalahan ketik Tag: Suntingan perangkat seluler Suntingan aplikasi seluler Suntingan aplikasi Android |
Menolak 4 perubahan teks terakhir (oleh 36.76.221.242, 182.1.186.17 dan Alvasto) dan mengembalikan revisi 15932874 oleh Rachmat04 |
||
Baris 17:
Logika lahir bersama-sama dengan lahirnya [[filsafat]] di [[Yunani]]. Dalam usaha untuk menaruh pikiran-pikirannya serta pendapat-pendapatnya, filsuf-filsuf Yunani kuno tidak jarang mencoba membantah pikiran yang lain dengan menunjukkan [[kesesatan|kesesatan penalarannya]].
Logika digunakan untuk melakukan [[pembuktian]]. Logika mengatakan yang bentuk [[inferensi]] yang berlaku dan yang tidak. Secara tradisional, logika dipelajari sebagai cabang [[filosofi]], tetapi juga bisa dianggap sebagai cabang [[matematika]]. Logika tidak
== Dasar-dasar logika ==
Baris 26:
=== Penalaran deduktif ===
{{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.
Contoh argumen deduktif:
# Setiap mamalia punya sebuah jantung
# Semua kuda adalah mamalia
# ∴ Setiap kuda
=== Penalaran induktif ===
| |||