BAB I PENDAHULUAN A. Latar Belakang. Salah satu karya Aristoteles adalah logika yang banyak berisi: pengertian, keputusan, pembuktian silogisme, dan lain-lain. Inti ajaran Aristoteles mengenai logika adalah Syllogismus, yaitu keputusan kedua yang tersusun sedemikian hingga melahirkan keputusan yang ketiga. Logika yang dikemukakan oleh Aristoteles dikenal sebagai logika tradisional, yang menjadi tonggak pemikiran logika. Pada abad ke-18 Masehi, G.W. Leibniz, seorang ahli matematika berkebangsaan Jerman, pertama kali mempelajari logika simbolik. Ahli matematika lainnya yang berjasa dalam pengembangan logika simbolik adalah George Boole, Leonard Euler, John Venn, dan Bertrand Russel. Secara etimologis, logika berasal dari kata Yunani ‘logos’ yang berarti kata, ucapan, pikiran secara utuh, atau bisa juga berarti ilmu pengetahuan (Kusumah, 1986). Dalam arti luas, logika adalah suatu cabang ilmu yang mengkaji penurunan-penurunan kesimpulan yang sahih (tidak valid). Proses b