Jawaban:

Logika adalah metode atau teknik yang diciptakan untuk meneliti ketepatan penalaran serta mengkaji prinsip-

prinsip penalaran yang benar dan penarikan kesimpulan yang absah. Ilmu logika berhubungan dengan kalimat-

kalimat (argumen) dan hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah memberikan

aturan-aturan sehingga orang dapat menentukan apakah suatu kalimat bernilai benar. Kalimat yang dipelajari

dalam logika bersifat umum, baik bahasa sehari-hari maupun bukti matematika yang didasarkan atas hipotesa-

hipotesa. Oleh karena itu aturan-aturan yang berlaku di dalamnya haruslah bersifat umum dan tidak tergantung

pada kalimat atau disiplin ilmu tertentu. Ilmu logika lebih mengarah dalam bentuk sintaks-sintaks daripada arti

dari kalimat itu sendiri. Secara umum logika dibedakan menjadi dua yaitu Logika Pasti dan Logika Tidak Pasti.

Logika pasti meliputi Logika Pernyataan (Propotitional Logic), Logika Predikat (Predicate Logic), Logika

Hubungan (Relation Logic) dan Logika Himpunan. Sedangkan logika tidak pasti meliputi Logika Samar

atau kabur (Fuzzy Logic). Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata hubungnya

sehingga didapat kalimat majemuk yang berupa kalimat deklaratif. Logika Predikat menelaah variabel dalam

suatu kalimat, kuantifikasi dan validitas sebuah argumen. Logika Hubungan mempelajari hubungan antara

pernyataan, relasi simetri, refleksif, antisimtris, dll. Logika himpunan membicarakan tentang unsur-unsur himpunan dan hukum yang berlaku di dalamnya