KALKULUS PROPOSISI
         ((DDaasasarr--DDaasasarr  LLooggiikaka))
             Proposition (proposisi)
             •  Proposisi adalah kalimat yang mempunyai nilai 
                kebenaran benar (true) atau salah (false), tetapi tidak 
                keduanya.
             •  Notasi proposisi: huruf kecil
             •• CCoonnttoohh  pprrooppoosisisisi::
                a. 2 + 2 = 4
                b. 4 adalah bilangan prima
             •  Contoh yang bukan proposisi:
                a. x + 3 = 10
                b. Siapa namamu?
             Compound Proposition (proposisi 
             majemuk)
             •  Dua atau lebih proposisi dapat digabungkan 
                membentuk proposisi baru yang disebut proposisi 
                majemuk dengan menggunakan operator logika.
             •  Jenis – jenis operator logika:
                  SSiimmbbooll        NNaammaa                  BBeennttuukk
                      ~       negasi                   Tidak (not) . . .
                      ∧       konjungsi                . . . dan (and) . . . 
                      ∨       disjungsi                . . . atau (or)  . . .
                     ⇒ Implikasi                       Jika . . . maka . . .
                     ⇔ Biimplikasi                     … jika hanya jika …
    Example of Compound Proposition
     p:hari ini hujan
     q:murid-murid libur
    Maka:  
     p∧q   : Hari ini hujan dan murid-murid libur
     p∨q   : Hari ini hujan atau murid-murid libur
     ~~pp          ::  HHaarrii  iinnii  ttiiddaakk  hhuujjaann
     p∧∼q : Hari ini hujan dan murid-murid tidak libur
     ∼(∼p) : Tidak benar bahwa hari ini tidak hujan
     p⇒q  : Jika hari ini hujan, maka murid-murid 
         libur 
     p⇔q : Hari ini hujan jika hanya jika murid-murid 
         libur