Nadya Go Green

Anda adalah seorang siswa SMK yang baru saja lulus sekolah dan langsung memulai berwirausaha dengan berdagang, yang sebagian modalnya Anda pinjam dari seorang teman. Anda berjanji, “Bila saya tidak rugi, saya akan melunasi semua utang saya sesegera mungkin”. Keadaan berikut ini, yang manakah Anda dapat dikatakan ingkar janji?

i) Anda tidak rugi dan Anda melunasi utang dengan segera

ii) Anda tidak rugi dan Anda tidak melunasi utang dengan segera

iii) Anda melunasi utang padahal anda rugi

iv) Anda melunasi utang dan Anda tidak rugi

Jelas bahwa tanpa logika, kita sering melakukan kesalahan dalam penarikan kesimpulan.

Dalam kehidupan sehari-hari manusia, sering kali kita semua di hadapkan pada suatu keadaan yang mengharuskan kita untuk membuat suatu keputusan. Agar keputusan kita itu baik dan benar, maka terlebih dahulu kita harus dapat menarik kesimpulan-kesimpulan dari keadaan yang kita hadapi itu, dan untuk dapat menarik kesimpulan yang tepat diperlukan kemampuan menalar yang baik.

Kemampuan menalar adalah kemampuan untuk menarik kesimpulan yang tepat dari bukti-bukti yang ada dan menurut aturan-aturan tertentu. Lalu apa kaitannya dengan logika?

Logika adalah ilmu untuk berpikir dan menalar dengan benar. Secara bahasa, logika berasal dari kata “logos” (bahasa Yunani), yang artinya kata, ucapan, pikiran. Kemudian pengertian itu berkembang menjadi ilmu pengetahuan. Logika dalam pengertian ini adalah berkaitan dengan argumen-argumen, yang mempelajari metode-metode dan prinsip-prinsip untuk ,menunjukkan keabsahan (sah atau tidaknya) suatu argumen, khususnya yang dikembangkan melalui penggunaan metode-metode matematika dan simbol-simbol Logika matematika dengan tujuan untuk menghindari makna ganda dari bahasa yang biasa kita gunakan sehari-hari.

Logika matematika adalah cabang logika dan matematika yang mengandung kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil dasar logika yang serupa.