Logika Informatika : Semantik Dan Nilai Kebenaran Proposisi

Logika Informatika : Semantik dan Nilai Kebenaran Proposisi

ARTI KALIMAT

Arti singkat kalimat dalah suatu nilai kebenaran. Setiap kalimat pada kecerdikan 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.

INTERPRETASI

Interpretasi pada kecerdikan proposisi yaitu suatu sumbangan nilai kebenaran pada semua variabel.

ATURAN SEMANTIK

1. Kalimat true bernilai true untuk semua interpretasi
2. Kalimat false bernilai false untuk semua interpretasi 
3. Kalimat P,Q,R,… bernilai sesuai interpretasinya 
4. Not F bernilai true jikalau F false dan bernilai false jikalau F true
5. F ꓥ G bernilai true jikalau F dan G keduanya true dan bernilai false jikalau tidak demikian
6. F ꓦ G bernilai false jikalau F dan G keduanya false dan bernilai true jikalau tidak demikian
7. F => G bernilai false jikalau F true dan G f alse dan bernilai true jikalau 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 jikalau 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

http://informatika.unpar.ac.id/

Slide Logika Informatika : Semantics and True False Value

Sumber http://wikiwoh.blogspot.com