Rabu, 04 Desember 2013

Penghubung Kalimat (Logika Informatika)

Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi baru lewat penggunaan operator logika. Proposisi baru yang dihasilkan dari kombinasi tersebut disebut dengan proposisi majemuk (compound composition), sedangkan proposisi yang bukan merupakan hasil dari kombinasi proposisi lain  disebut proposisi atomik. Proposisi majemuk tersusun dari sejumlah proposisi atomik.
Dalam logika dikenal 5 buah penghubung
Simbol
Arti
Bentuk
¬
Tidak/Not/Negasi
Tidak………….
Ù
Dan/And/Konjungsi
……..dan……..
Ú
Atau/Or/Disjungsi
………atau…….
Þ
Implikasi
Jika…….maka…….
Û
Bi-Implikasi
……..bila dan hanya bila……..
Contoh 1.1 :
Misalkan : p menyatakan kalimat “ Mawar adalah nama bunga”
              Q menyatakan kalimat “ Apel adalah nama buah”
Maka kalimat “ Mawar adalah nama bunga dan Apel adalah nama buah “
Dinyatakan dengan simbol  p Ù q
Contoh 1.2 :
Misalkan  p: hari ini hari minggu
              q: hari ini libur
nyatakan kalimat dibawah ini dengan simbol logika :
a.    Hari ini tidak hari minggu tetapi libur
b.    Hari ini tidak hari minggu dan tidak libur
c.    Tidak benar bahwa hari ini hari minggu dan libur
Penyelesaian
a.   Kata “tetapi” mempunyai arti yang sama dengan dan sehingga kalimat (a) bisa ditulis sebagai : ¬p Ù q
b.   ¬p Ù¬q
c.    ¬(p Ù q)

0 komentar: