Logika Informatika : Semantik dan Nilai Kebenaran Proposisi
ARTI KALIMAT
Arti singkat kalimat dalah suatu nilai kebenaran. Setiap kalimat pada kebijaksanaan proposisi mempunyai salah satu dari nilai {true, false}
Arti kalimat kompleks yang terdiri atas n variabel merupakan fungsi dari nilai kebenaran n variabel tersebut. Perlu diingat bahwa anda harus mengetahui nilai kebenaran masing-masing variabel dan aturan-aturan untuk menghitung fungsi tersebut.
Arti kalimat kompleks yang terdiri atas n variabel merupakan fungsi dari nilai kebenaran n variabel tersebut. Perlu diingat bahwa anda harus mengetahui nilai kebenaran masing-masing variabel dan aturan-aturan untuk menghitung fungsi tersebut.
INTERPRETASI
Interpretasi pada kebijaksanaan proposisi yaitu suatu proteksi nilai kebenaran pada semua variabel.
ATURAN SEMANTIK
- Kalimat true bernilai true untuk semua interpretasi
- Kalimat false bernilai false untuk semua interpretasi
- Kalimat P,Q,R,… bernilai sesuai interpretasinya
- Not F bernilai true kalau F false dan bernilai false kalau F true
- F ê“¥ G bernilai true kalau F dan G keduanya true dan bernilai false kalau tidak demikian
- F ꓦ G bernilai false kalau F dan G keduanya false dan bernilai true kalau tidak demikian
- F => G bernilai false kalau F true dan G f alse dan bernilai true kalau tidak demikian
TABEL KEBENARAN
Dengan hukum semantik sanggup ditentukan nilai kebenaran suatu kalimat kompleks untuk semua interpretasi yang mungkin. Biasanya ditabelkan dan disebut tabel kebenaran. Jika terdapat n variabel, maka terdapat 2^n baris tabel kebenaran
OPERATOR “OR”
OPERATOR “AND”
OPERATOR NEGASI
OPERATOR “IMPLIKASI”
CONTOH 1
Nyatakan pernyataan berikut dalam notasi logika:
“Anda tidak sanggup terdaftar sebagai pemilih dalam Pemilu kalau anda berusia di bawah 17 tahun kecuali kalau anda sudah menikah ”
Jawab
Jika anda berusia di bawah 17 tahun dan anda belum menikah maka anda tidak sanggup terdaftar sebagai pemilih dalam Pemilu
Catatan
p = Anda berusia di bawah 17 tahun
q = Anda belum menikah
r = Anda sanggup terdaftar sebagai pemilih dalam Pemilu
Nilai kebenaran :
Latihan 1 dan Jawabannya
1. If you’ve read the lecture notes and if you’ve done the assignments, then you’ll be in a good shape for the first exam; otherwise you’ll have a problem.
2. Cancer won’t be cured unless its causes are determined and a new drug for cancer is found.
3. Today it will rain or shine, but not both.
Latihan 2 dan Jawabannya
1. If tomorrow is Tuesday and it does not rain, then either it will rain on Wednesday or the garden will dry up.
2. The book should be about chemistry or biology, but if it is about biology it should be either about fungi or bacteria.
Latihan 3 dan Jawabannya
1. Budi tidak akan mencar ilmu untuk ujian kecuali dia menyukai mata kuliahnya atau menyukai dosennya.
2. Hari ini tidak mendung maka hari ini tidak akan hujan, dan juga sebaliknya.
Sumber
Slide Logika Informatika : Semantics and True False Value
EmoticonEmoticon