Logika proposisional merupakan salah satu cabang penting dalam logika klasik yang kerap disebut sebagai logika pernyataan, kalkulus sentensial, atau terkadang logika tingkat nol. Disiplin ilmu ini berfokus pada analisis proposisi yang dapat bernilai benar atau salah, serta hubungan antarproposisi dalam pembentukan argumen.
Related Stories
Suka dengan Artikel Ini?
Dapatkan lebih banyak cerita menarik dengan berlangganan newsletter kami. Gratis!
Subscribe →Berbeda dari logika predikat atau logika tingkat pertama, logika proposisional tidak melibatkan objek non-logika, predikat khusus, maupun kuantifikator. Kendati demikian, seluruh perangkat dasar dalam logika proposisional menjadi fondasi utama yang mendasari sistem logika tingkat lebih tinggi.
Sejarah perkembangan logika ini ditarik dari era filsuf kuno seperti Chrysippus yang mengembangkan sistem deduktif berbasis proposisi pada abad ke-3 SM. Meski sempat tenggelam selama berabad-abad, gagasan tersebut kembali dihidupkan melalui perkembangan logika simbolik modern oleh para matematikawan terkemuka.
Dalam praktiknya, studi mengenai logika proposisional menggunakan bahasa formal di mana setiap proposisi direpresentasikan oleh variabel khusus. Variabel ini kemudian dihubungkan menggunakan berbagai jenis operator logika seperti konjungsi, disjungsi, implikasi, bi-kondisional, dan negasi.
Sistem pembuktian dalam logika proposisional umumnya dibagi menjadi dua pendekatan utama, yakni sistem semantik dan sintaksis. Pendekatan semantik sering kali mengandalkan penggunaan tabel kebenaran untuk menguji nilai kebenaran suatu formula dalam berbagai skenario interpretasi.