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:
Posting Komentar