Logika Matematika
Standar Kompetensi:
Menggunakan logika matematika dalam pemecahan masalah yang berkaitan dengan
pertanyaan majemuk dan pertanyaan berkuantor.
Kompetensi Dasar:
Memahami pernyataan dalam matematika dan ingkaran atau negasinya.
Menentukan nilai kebenaran dari suatu pernyataan majemuk dan pernyataan berkuantor.
Merumuskan pernyataan yang setara dengan pernyataan majemuk atau pernyataan
berkuantor yang diberikan.
Menggunakan prinsip logika matematika yang berkaitan dengan pernyataan majemuk
dan pernyataan berkuantor dalam penarikan kesimpulan dan pemecahan masalah.
Pernyataan, Nilai Kebenaran, dan Kalimat Terbuka
Pernyataan adalah kalimat yang benar saja atau salah saja,
tetapi tidak dapat sekaligus benar dan salah.
Contoh:
~p
p ~p
B S
S B
Hubungan Antara Ingkaran Pernyataan dengan
Komplemen Himpunan
P merupakan penyelesaian kalimat terbuka p(x) dalam
semesta S, p merupakan pernyataan yang terbentuk
dengan mengganti x S, maka himpunan komplemen dari
P (ditulis P’) merupakan penyelesaian kalimat terbuka
~p(x) dalam semesta S yang sama.
S
P’
P’ = {xl ~p(x)}
Disjungsi
Disjungsi adalah pernyataan yang dibentuk dari
dua pernyataan p dan q yang dirangkai dengan
menggunakan kata hubung atau.
p v q
(dibaca: p atau q)
• p v q benar, jika salah satu di antara p dan q benar atau p dan q dua-
duanya benar.
p q pvq
(1) B B B
(2) B S B
(3) S B B
(4) S S S
P QP Q
P Q = {x l p(x) v q(x)}
Konjungsi
Konjungsi adalah pernyataan yang dibentuk dari
dua pernyataan p dan q yang dirangkai dengan
menggunakan kata hubung dan.
p q
ν
(dibaca: p dan q)
Nilai kebenaran konjungsi p q dapat ditentukan dengan
ν
• p ν
q benar, jika p benar dan q benar
ν
p q p q
(1) B B B
(2) B S S
(3) S B S
(4) S S S
S
P Q
ν
P Q = {x l p(x) q(x)}
Implikasi
Implikasi atau pernyataan bersyarat/kondisional adalah pernyataan
majemuk yang disusun dari dua buah pernyataan p dan q dalam bentuk
jika p maka q.
p q
(dibaca: jika p maka q)
(1) B B B
(2) B S S
(3) S B B
(4) S S B
p q
(dibaca: p jika dan hanya jika q)
S
P = {x l p(x)}, p benar jika x P
Q = {x l q(x)}, q benar jika x Q
Implikasi p q benar, jika P Q
P=Q
Pernyataan Majemuk dan Nilai Kebenarannya
Pernyataan majemuk adalah pernyataan yang berbentuk
dari beberapa pernyataan tunggal (komponen) yang
dirangkai dengan menggunakan kata hubung logika.
Contoh Pernyataan Majemuk
ν
(i) (~p q) p (iii) ~[p (p q)]
ν
B B B B B
B S S S B
S B B S B
S S B S B
c) ~(p q) (p ~q)
ν
b) p q p v q b) (p q) r p (q r)
ν ν ν ν ν
3. Sifat Distributif
a) Distributif disjungsi terhadap konjungsi.
p v (q r) (p v q) (p v r)
ν ν
Contoh
“Semua penyanyi dangdut berparas cantik”,
ekuivalen dengan “jika Eli penyanyi dangdut,
maka ia berparas cantik”.
Kuantor Universal
S B
A
Contoh
~ [ x, p(x)] x, ~p(x)
Contoh
Pernyataan x R, x + 3 = 4 merupakan pernyataan salah.
Ingkarannya ditentukan dengan menggunakan hubungan
~( x R, x + 3 = 4) x R, x + 3 4
Ingkaran dari Pernyataan Berkuantor Ekstensial
Contoh
Pernyataan x R, x + 4 = 1 merupakan
pernyataan benar.
~( x R, x + 4 = 1) x R, x + 4 1
PERNYATAAN
BERKUANTOR INGKARAN
x, ~p(x) x, ~p(x)
Semua X adalah Y Beberapa X bukan Y
atau
Tidak semua X adalah Y
x, ~p(x) x, ~p(x)
Beberapa X adalah Y Semua X bukan Y
atau
Tidak ada (tiada) X yang
merupakan Y
atau
Jika x adalah X, maka x bukan Y
SILOGISME, MODUS PONENS, DAN
MODUS TOLLENS
1. Silogisme, modus ponens, dan modus tollens adalah
metode atau cara yang digunakan dalam penarikan
kesimpulan.
2. Proses penarikan kesimpulan terdiri atas beberapa
pernyataan yang diketahui nilai kebenarannya
(disebut premis).
3. Kemudian, dengan menggunakan prinsip-prinsip logika
dapat diturunkan pernyataan baru (disebut
kesimpulan/konklusi) yang diturunkan dari premis-
premis semula.
4. Penarikan kesimpulan seperti itu sering juga disebut
argumentasi.
Prinsip-prinsip Logika dalam
Proses Penarikan Kesimpulan
1. Argumentasi dikatakan berlaku atau sah:
jika konjungsi dari premis-premisnya berimplikasi
konklusi.
2. Argumentasi dikatakan tidak berlaku atau tidak sah:
jika konjungsi dari premis-premisnya tidak
berimplikasi konklusi.
[(p q) (q r)] (p r)
ν
ν ν
p q r pq qr pr (p q) q r (p q) (q r) (p r )
B B B B B B B B
B B S B S S S B
B S B S B B S B
B S S S B S S B
S B B B B B B B
S B S B S B S B
S S B B B B B B
S S S B B B B B
p q …………. premis 1
p …………. premis 2
q …………. kesimpulan/konklusi
[(p q) p] q
ν
p q pq p q p [(p q) p] q
ν ν
B B B B B
B S S S B
S B B S B
S S B S B
(1) (2) (3 (4) (5)
Modus Tollens
Misalkan diketahui premis-premis p q dan ~q. Dari premis-premis
itu dapat diambil konklusi ~p. Pengambilan kesimpulan seperti itu
disebut modus tollens atau kaidah penolakan akibat.
p q …………. premis 1
~q …………. premis 2
~p …………. kesimpulan/konklusi
[(p q) ~q] ~p
ν
p q ~p ~q p q p q ~q [(p q) ~q] ~p
ν ν
B B S S B S B
B S S B S S B
S B B S B S B
S S B B B B B
(1) (2) (3) (4) (5) (6) (7)