Titin Moho

LOGIKA Logika merupakan studi penalaran (reasoning). Penalaran yaitu cara berfikir dengan mengembangkan sesuatu berdasarkan akal budi dan bukan dengan perasaan atau pengalaman. Logika juga digunakan untuk membuktikan teorema-teorema di dalam matematika. Logika pertama kali di kembangkan oleh Filusuf Yunani, Aristoteles, sekitar 2300 tahun yang lalu. Logika mempunyai aplikasi yang luas di dalam ilmu computer, misalnya dalam bidang pemrogram, analisis kebenaran algoritman, kecerdasan buatan (artificial intelligence), perancangan computer,dan sebagainya. 1.1 Proposisi Proposisi adalah kalimat deklaratif yang bernilai benar (tru) atau salah (false), tetapi tidak dapart sekaligus keduanya. Kebenaram atau kesalahan dari sebuah kalimat disebut nilai kebenarannya (truth value). Contoh pernyataan yang merupakan proposisi: a. Ir. Soekarno adalah presiden pertama Indonesia. b. 4 adalah salah satu factor dari 20. c. 20 – 18 = 2. d. 10 adalah bilangan Prima. Maka contoh-conto