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
