Apa itu logika ?

Ilmu yang mempelajari prinsip dasar dari alasan yang valid atau sah.

Sejarah singkat logika

Logika telah ada sejak zaman kuno

Logika Sehari-hari: Merupakan bentuk logika yang kita gunakan dalam kehidupan sehari-hari.
Biasanya lebih fleksibel dan tergantung pada konteks.

Contoh: Jika hujan, maka jalan menjadi basah. Hari ini hujan. Maka, jalan basah.

Logika Formal: Sebuah sistem yang didesain untuk memahami struktur dari argumen dan untuk
menentukan apakah sebuah argumen sah berdasarkan bentuknya, tanpa mempertimbangkan
konten spesifiknya.

Contoh: Jika P, maka Q. P benar, maka Q juga benar

JENIS-JENIS LOGIKA
 Proposional
 Predikat
 Temporal
 Fuzy
 Modal

HUKUM-HUKUM LOGIKA
 Hukum indempoten
 Hukum distribusi
 Hukum De morgan
 Hukum asosiatif, komutatif, dll

TEKNIK PENALARAN
 Modus ponens
 Modus tollens
 Silogisme
 Reductio ad absurdum
 PROPOSIONAL

Logika proposional adalah system formal untuk menggambarkan dan menganalisis hubungan antara
kalimat proposional menggunakan symbol-simbol logika

OPERASI LOGIKA PROPOSIONAL

 NEGASI
 KONJUNGSI
 DISJUNGSI
 IMPLIKASI
 BIIMPLIKASI

Ada 3 jenis koneksi logika utama yang digunakan dalam logika matematika yaitu:
 AND
 OR
 NOT

Perbedaan proposisi majemuk dan atomic

 Majemuk adalah proposisi yang terdiri dari dua atau lebih proposisi atomik yang
digabungkan menggunakan koneksi logika.

 Atomik adalah adalah proposisi yang tidak dapat dibagi lebih lanjut menjadi proposisi yang
lebih sederhana.
 INFERENSI LOGIKA

Inferensi adalah proses menarik kesimpulan berdasarkan bukti dan penalaran.

Tujuan melakukan inferensi adalah untuk mencapai kesimpulan atau pemahaman yang lebih
mendalam mengenai suatu situasi, fenomena, atau informasi yang diberikan

JENIS-JENIS INFERENSI LOGIKA

 Deduktif
 Induktif
 Abduktif

STRUKTUR ARGUMEN LOGIKA

 Premis
 HIMPUNAN

Himpunan adalah Kumpulan dari objek yang berbeda