SINTAKS DAN SEMANTIK

PADA
LOGIKA PROPOSISI
Yenni Fatman, S.T.
@2012

Matematika Logika
Semester Ganjil 2011/2012
 Definisi: Preposisi
Kemarin, Timmy Kesimpulan: Timmy
pergi ke dokter karena tidak ikut les hari ini.
sakit. Timmy
diperbolehkan tidak
ikut les apabila sedang Valid?
sakit. Oleh karena itu,
Timmy tidak ikut les
hari ini.
 Definisi: Preposisi

Proposisi adalah kalimat deklaratif (atau

pernyataan / statement) yang memiliki hanya
SATU nilai kebenaran
BENAR
SALAH,
akan tetapi tidak keduanya (benar sekaligus salah)
 PROPOSISI
Proposisi atau kalimat dalam logika proposisi
bisa berupa
Atom/kalimat sederhana
Kalimat kompleks, komposisi kalimat
menggunakan operator logika
Kalimat sederhana bisa berupa
Simbol konstanta : true dan false
Simbol variabel proposisi : p,q,r,,p1,q1,
Literal adalah atom atau negasinya

4
 Definisi: Preposisi

Preposisi adalah kalimat berita yang

bisa ditentukan kebenarannya:
Spongebob tinggal di Bikini Bottom
2+2=4
2+3=7
Jika Patrick tinggal di sebelah rumah
Spongebob, maka Patrick tinggak di Bikini
Bottom
 Definisi: Preposisi

Contoh pernyataan yang bukan

preposisi:
Mengapa komputer beguna?
Ketuk pintu sebelum masuk!
X-y = y - x
 OPERATOR LOGIKA
Simbol Arti argument Ekivalensi
Negasi Target Not
Konjungsi Conjunct And
Disjungsi Disjunct Or
Implikasi Antecendent/premise If then
dan
consequent/conclusion
BiImplikasi Antecendent/premise if and only
dan if
consequent/conclusion
7
 SINTAKS
Definisi kalimat/proposisi :
Setiap konstanta logika true dan false
adalah proposisi
Variabel logika p,q,r,,p1,q1, adalah proposisi
Jika dan adalah proposisi maka ,
, , dan adalah proposisi
Tidak ada bentuk lain yang merupakan
proposisi
8
 MEREPRESENTASIKAN FAKTA
Proposisi bisa merepresentasikan kalimat
berita
p : saya malas belajar
q : saya lulus kuliah
p q : saya malas belajar dan lulus kuliah
p q : jika malas belajar saya tidak
lulus kuliah
q p : saya tidak lulus kuliah jika dan
hanya jika saya malas belajar
9
 ATURAN PEMBENTUKAN KALIMAT
Setiap proposisi adalah kalimat
Jika F adalah kalimat, begitu juga dengan negasinya.
Jika F dan G adalah kalimat, begitu juga dengan
konjungsinya.
Jika F dan G adalah kalimat, begitu juga dengan
disjungsinya.
Jika F dan G adalah kalimat, begitu juga dengan
implikasinya.
Jika F dan G adalah kalimat, begitu juga dengan
ekivalensinya.
Jika F, G dan H adalah kalimat, begitu juga dengan
kondisionalnya.
10
 AMBIGUITY

Ambigu : mempunyai banyak arti

Contoh : pqr berarti p(qr ) atau
(pq)r
Untuk menghilangkan ambiguity bisa
menggunakan ( dan ) atau prioritas operator
(precedence)
11
 WELL-FORMED FORMULA (WFF)

Setiap atom adalah wff

Jika A dan B adalah wff maka proposisi
berikut ini juga wff : (A), (A B), (A B),
(A B), (A B)
Tidak ada bentuk lain yang wff

12
OPERATOR PRECEDENCE
Operator Precedence
1
2
3
4
5

13
 SUB KALIMAT
Setiap komponen yang membentuk suatu kalimat
proposisi disebut juga subkalimat, termasuk kalimat
itu sendiri (proper subsentences).

Contoh :
F : (not (P or Q) ) if and only if ( P and (not Q) )

14
 SUB KALIMAT
P or Q
not (P or Q)
not Q
P and (not Q)
F : (not (P or Q) ) if and only if ( P and (not Q) )

15
 MAKNA KALIMAT
Arti kalimat = nilai kebenaran
Setiap 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 tersebut
Perlu tahu nilai kebenaran masing-masing variabel
Perlu aturan untuk menghitung fungsi tersebut

lprop: semantik - LFD - 2007 16

 MAKNA KALIMAT
Makna dari sebuah kalimat proposisi akan bisa
kita ketahui, jika nilai kebenaran dari simbol
proposisi yang membentuk kalimat tersebut sudah
diketahui.
Pemberian nilai kebenaran dari simbol
proposisi tersebut diberikan dalam konteks yang
namanya interpretasi ( I ).
17
 INTERPRETASI
Interpretasi pada logika proposisi =
pemberian nilai kebenaran pada semua
variabel
Contoh : P Q
I1 : P true dan Q true
I2 : P true dan Q false
I3 : P false dan Q false
I4 : P false dan Q true
18
 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 jika F false dan bernilai false jika F true
F G bernilai true jika F dan G keduanya true dan
bernilai false jika tidak demikian
F G bernilai false jika F dan G keduanya false
dan bernilai true jika tidak demikian
F G bernilai false jika F true dan G false dan
bernilai true jika tidak demikian
F G bernilai true jika F dan G memiliki nilai
kebenaran yang sama, dan bernilai false jika tidak
demikian
lprop: semantik - LFD - 2007 19
 TABEL KEBENARAN ATURAN
SEMANTIK
F G F and G F or G If F then G F if and only if G
true true true true true true
true false false true false false
false true false true true false
false false false false true true

lprop: sintaks - LFD - 2007 20

TABEL KEBENARAN ATURAN
SEMANTIK
F G H If F then G else H
true true true true
true true false true
true false true false
true false false false
false true true true
false true false false
false false true true
false false false false

21
 TABEL KEBENARAN

Dengan aturan semantik dapat ditentukan

nilai kebenaran suatu kalimat kompleks
untuk semua interpretasi yang mungkin
Biasanya ditabelkan dan disebut
tabel kebenaran
Jika terdapat n variabel, maka
n
terdapat 2 baris tabel kebenaran
22
 Contoh formula
4 adalah bilangan positif dan 3 adalah
bilangan negatif
p: 4 adalah bilangan positif
q: 3 adalah bilangan negatif
Formula :: p q
Jika bumi adalah datar, maka 2+2 =4
r: bumi datar
s:2+2=4
Formula:: r s
 Contoh

Setelah lulus SMU Budi akan melanjutkan

sekolah ke Teknik Informatika Unpas atau
ke Politeknik Pos.
Pada istirahat siang, peserta
seminar dipersilahkan makan atau
minum.
 Budi memasukkan buku pelajaran
ke dalam tas dan berangkat ke
sekolah.
 Tautology
p q pq
p (p
Suatu formula
q)
disebut Tautology
0 0 0 1
apabila interpretasi
0 1 1 1
dari formula
tersebut selalu 1 0 1 1
benar, apapun nilai
atomnya 1 1 1 1
 Contradiction

Suatu p q p p q p
formula 0 0 1 0
disebut
0 1 1 0
Contradiction
apabila interpretasi 1 0 0 0
dari formula
tersebut selalu 1 1 0 0
salah, apapun nilai
atomnya
 Logically Equivalent

p q p pq
p
Dua formula disebut q

Logically 0 0 1 1 1

Equivalent / 0 1 1 1 1

Ekivalen secara
logika apabila 1 0 0 0 0
keduanya memiliki
1 1 1 1 1
nilai kebenaran yang
sama
p q (p q) ( p q)
 Contoh

p q p q p q p q ( p q) (p
q)
0 0 1 1 1 1
0 1 0 1 0 0

1 0 0 0 1 0

1 1 1 1 1 1

(p q) (( p q) (p q))