semantic.ppt

Materi 3 LOGIKA PROPOSISI: SEMANTIK

ASK 202-3 LOGIKA FORMAL DASARSemester Genap 2006/2007

lprop: semantik - LFD - 2007

SISTEMATIKAArti KalimatInterpretasiAturan SemantikTabel Kebenaran

lprop: semantik - LFD - 2007

ARTI KALIMATArti kalimat = nilai kebenaranSetiap kalimat pada logika proposisi memiliki salah satu dari nilai {true, false}Arti kalimat kompleks yang terdiri atas n variabel merupakan fungsi dari nilai kebenaran n variabel tersebutPerlu tahu nilai kebenaran masing-masing variabelPerlu aturan untuk menghitung fungsi tersebut

lprop: semantik - LFD - 2007

INTERPRETASIInterpretasi pada logika proposisi = pemberian nilai kebenaran pada semua variabelContoh : P QI1 : P true dan Q trueI2 : P true dan Q falseI3 : P false dan Q falseI4 : P false dan Q true

lprop: semantik - LFD - 2007

ATURAN SEMANTIKkalimat true bernilai true untuk semua interpretasikalimat false bernilai false untuk semua interpretasikalimat P,Q,R, bernilai sesuai interpretasinyanot F bernilai true jika F false dan bernilai false jika F trueF G bernilai true jika F dan G keduanya true dan bernilai false jika tidak demikianF G bernilai false jika F dan G keduanya false dan bernilai true jika tidak demikianF G bernilai false jika F true dan G false dan bernilai true jika tidak demikian

lprop: semantik - LFD - 2007

TABEL KEBENARANDengan aturan semantik dapat ditentukan nilai kebenaran suatu kalimat kompleks untuk semua interpretasi yang mungkinBiasanya ditabelkan dan disebut tabel kebenaranJika terdapat n variabel, maka terdapat 2n baris tabel kebenaran

lprop: semantik - LFD - 2007

CONTOH TABEL KEBENARAN

lprop: semantik - LFD - 2007