Logika Matematika

Logika adalah bab yang paling aku sukai di matematika. Entah karena mudah untuk menyerapnya (meski radha menjebak sih) atau karena aku yang mencintai filsafat. Setelah kopi darat dengan Aristoteles dan Leibniz dalam dunia gaib. Aku akan menyebar ilmu yang aku ketahui tentang logika matematika..

Asal kata logika itu dari Yunani sob "logos" yang secara populer diartikan "ilmu", tapi arti semula adalah kata, ucapan, dan pikiran. Logika itu gampangnya ilmu tentang kaidah-kaidah penarikan kesimpulan secara logis. Misalnya : kamu lihat langit, kamu analisa, dan menyatakan "langit itu luas"
Dalam logika ada istilah pernyataan. Contohnya : "Batu itu keras" atau "nasi pecel enak". Nah, kalimat yang mempunyai nilai BENAR SAJA atau SALAH SAJA, tetapi tidak bisa sekaligus Benar dan Salah (ini mah ambigu bin plin plan) disebut pernyataan alias kalimat deklaratif alias kalimat tertutup alias proposisi. Jadi, setiap pernyataan adalah kalimat tapi belum tentu kalimat merupakan pernyataan. Benar saja atau salah saja, ini dinamakan nilai kebenaran.
Benar atau salah dari sebuah pernyataan itu dapat kita cari dengan memakai :

1. 1. Dasar Empiris : kalau ini berdasarkan fakta.
      Contoh : Jakarta adalah ibukota Indonesia.