Referensi
Soesianto, F. dan Dwijono, D., Logika Matematika untuk Ilmu Komputer . Andi. Yogyakarta. Rossen, K. Discrete Mathematics and its Application. Krisnadhi, Adila A., Matematika Diskret , Slide Perkuliahan, Fakultas Ilmu Komputer, Universitas Indonesia
Logika Proposisi
Proposisi merupakan kalimat deklaratif (kalimat yang mendeklarasikan fakta-fakta/kenyataankenyataan) apakah kalimat tersebut bernilai benar atau salah, namun tidak kedua-duanya. Kalimat proposisi biasanya ditulis dengan huruf yang merepresentasikan variabel proposisi seperti ; p,q,r,s.,p1,p2,,q1,q2, Nilai kebenaran kalimat proposisi biasanya ditulis dengan huruf atau angka (T atau 1 untuk proposisi yang bernilai Benar dan F atau 0 untuk proposisi yang bernilai Salah)
Negasi ()
Misalkan p merupakan proposisi, maka p juga merupakan proposisi yang dibaca Negasi dan p, atau Tidak p, atau Bukan p, atau Kebalikan p p selalu memiliki nilai yang berlawanan dari p Contoh : p = Mio adalah merek motor Yamaha
p = Mio bukan merek motor Yamaha, atau tidak benar bahwa Mio adalah merek motor Yamaha
Konjungsi ()
Misalkan p dan q merupakan kalimat proposisi. Maka p q juga merupakan kalimat proposisi yang disebut konjungsi dan dibaca p dan q. p q bernilai True apabila kedua nilai p dan q bernilai Benar, selain itu bernilai False. Contoh : p : Permainan ini menyenangkan q : Permainan Kurang populer dimasyarakat p q : Permainan ini menyenangkan dan kurang populer dimasyarakat. ATAU Permainan ini menyenangkan tetapi kurang populer dimasyarakat. Bernilai TRUE hanya pada permainan yang menyenangkan yang kurang populer.
Disjungsi ()
Disjungsi dari dua proposisi p dan q atau ditulis p q, dibaca dengan p atau q, bernilai True ketika setidaknya salah satu atau kedua-dua diantara p dan q bernilai True, Selainnya bernilai False. Contoh : p : Hari ini hujan q : Hari ini hari Jumat p q : Hari ini hujan atau hari ini hari jumat Bernilai True ketika hari apapun hujan serta pada hari jumat (hujan ataupun tidak hujan)
Disjungsi contd..
Disjungsi ada yang bersifat inklusif (sebagaimana contoh pada slide sebelumnya) dan ada yang bersifat ekslusif. Bersifat inklusif pada saat p dan q kedua-duanya bernilai True. Bersifat ekslusif (Exclusive Or) atau ditulis p q, atau dibaca p xor q pada saat salah satu dari p atau q bernilai True namun tidak kedua-duanya. Contoh p : Beli dua gratis buku tulis q : Beli dua diskon 50% p q : Beli dua gratis buku tulis atau diskon 50% Bernilai True apabila pilihannya gratis buku tulis atau diskon 50%, namun tidak boleh kedua-duanya.
Implikasi/Kalimat Kondisional
Diberikan p dan q yang merupakan proposisi, maka p q juga merupakan sebuah proposisi. p q disebut implikasi atau pernyataan kondisional, dimana p disebut hipotesis/antaseden/premis dan q disebut konklusi/konsekuensi p q selalu bernilai True apabila p dan q kedua-duanya bernilai true, atau apabila p benilai false. Bernilai False apabila p benilai true dan q bernilai false.
Implikasi contd
p q dibaca: jika p, (maka) q p mengakibatkan q p adalah syarat cukup untuk q p hanya jika q q kecuali p q jika p q diakibatkan oleh p q adalah syarat perlu untuk p q apabila p q follows from p
Contoh Implikasi
p : Jason juara satu; q : Jason mendapatkan hadiah p q : Jika Jason juara satu mengakibatkan Jason dapat hadiah p : Jumat adalah waktu main futsal q:3+3=6 p q : Jika Jumat adalah waktu main futsal maka 3+3 =6 p : Jumat adalah waktu main futsal q:3+3=9 p q : Jika Jumat adalah waktu main futsal maka 3+3=6, bernilai True atau False ????
Biimplikasi/Bikondisional
Misalkan p dan q adalah proposisi, maka pq juga merupakan proposisi. pq disebut biimplikasi atau bikondisional pq dibaca :
Contoh Biimplikasi
p : Hari ini hari jumat; q : Hari ini main futsal pq : Hari ini hari jumat jika dan hanya jika hari ini main futsal pq : Hari ini hari jumat adalah syarat perlu dan cukup agar hari ini main futsal. pq Bernilai True pada hari jumat yang main futsal atau pada hari lain yang tidak main futsal pq Bernilai False pada hari jumat yang tidak main futsal; atau pada hari lain yang main futsal
Jawab....
Kerjakan ........
Penyelesaian
p : rumah kuno selalu kosong q : rumah kuno selalu angker r : hotel selalu hangat s : rumah kuno selalu rusak
Tugas Rumah
Kerjakan latihan logika proposisi dari nomor 1 sampai dengan 20. tuliskan jawaban menggunakan ballpoin pada kertas HVS. Jawaban dapat ditulis dalam bahasa Indonesia atau dalam bahasa Inggris Jawaban dikumpul pada pertemuan berikutnya. Barang siapa yang tidak mengumpulkan tugas atau kedapatan menyontek tidak diijinkan masuk kedalam kelas dan dianggap tidak hadir.