BAB.

2 LOGIKA MATEMATIKA

2.1. Pendahuluan

Logika Matematika adalah ilmu tentang bagaimana menalar (suatu bentuk

pemikiran yang masuk akal). Dalam matematika ada tiga bentuk kalimat yaitu
kalimat pernyataan, kalimat bukan pernyataan dan kalimat terbuka.

Kalimat pernyataan adalah kalimat tertutup atau kalimat yang dapat

ditentukan nilai kebenarannya (bernilai benar atau salah).

Contoh pernyataan:

1. Jakarta adalah ibu kota Indonesia (B)

2. Rukun islam ada 5 (B)
3. 3 adalah bilangan prima dan bilangan ganjil (B)
4. 5 adalah faktor dari 12 (S)
5. 5 12 = 90 (S)

Contoh bukan pernyataan:

1. Wah,tampan sekali pemuda itu (pendapat).
2. Dimana alamatmu sekarang (pertanyaan).
3. Salinlah bacaan ini! (perintah).
4. 3x – 4 = 5x + 14 (kalimat terbuka)
5. 3 cos xo + 4 sin xo – 9 = 0, x bilangan real.

2.2 Bagian – Bagian dari Pernyataan

a. Pernyataan Sederhana

Pernyataan sederhana adalah pernyataan yang menyatakan pikiran tunggal.

Contoh:

1. Rasa gula itu manis (B)

2. 7 adalah bilangan genap (S)

8
b. Pernyataan Majemuk

Pernyataan majemuk adalah pernyataan yang terdiri dari beberapa pernyataan

sederhana.

Contoh:

1. Pantai parang teritis terletak di pulau jawa dan daerah istimewa Jogjakarta.
2. Adik menyapu halaman, sedangkan tono mencuci motor.
3. Motor ayah mati karena kehabisan bensin.

2.3. Kata Hubung Logika

Kalimat majemuk adalah kalimat yang dibentuk dengan menggabungkan

dua pernyataan atau lebih. Dua pernyataan dapat digabung menggunakan kata
hubung antara lain: dan, atau, jika...maka…,…jika dan hanya jika….Keempat
kata hubung tersebut merupakan kata hubung logika Matematika, dan mempunyai
lambang-lambang sebagai berikut:

Sistem Lambang Logika Matematika

No. Nama Lambang Arti dalam Bahasa Sehari -Hari

1. Negasi ~ Tidak, bukan
2. Konjungsi ∧ Dan, tetapi, meskipun,
walaupun
3. Disjungsi ∨ Atau
4. Implikasi/kondisi atau Jika…maka…
5. Biimplikasi Jika dan hanya jika…maka…

a. Negasi (ingkaran dari suatu pernyataan)

Negasi suatu pernyataan adalah pernyataaan baru yang bernilai benar jika
pernyataan semula salah atau bernilai salah jika pernyataan semula bernilai benar.

Notasi untuk negasi p adalah ~p atau – p.

9
Contoh negasi:

1. p : Gunung Tangkuban Perahu terletak di Jawa Barat (B)

~p : Gunung Tangkuban Perahu tidak terletak di Jawa Barat (S)

2. p : 5 merupakan faktor dari 12 (S)

~p : 5 bukan merupakan faktor dari 12 (B)

Negasi dalam bentuk tabel kebenaran :

p ~p
B S
S B

b. Konjungsi ( p ∧ q dibaca p dan q)

Konjungsi adalah suatu pernyataan majemuk yang dihubungkan dengan

kata penghubung “dan”. Dengan notasi lambang “∧”. Konjungsi dari dua
pernyataan p dan q bernilai benar hanya jika komponen-komponennya bernilai
benar. Kata-kata pembentuk konjungsi selain” dan” adalah meskipun, tetapi,
sedangkan, padahal, sambil, yang, juga, walaupun.

Konjungsi dalam bentuk tabel kebenaran:

p q p∧q
B B B
B S S
S B S
S S S
Contoh:

1. p : 3 adalah bilangan prima (B)

q : 3 adalah bilangann ganjil (B)

p ∧ q : 3 adalah bilangan prima dan ganjil (B)

2. p : Bandung terletak di pulau Jawa (B)

q : Jambi terletak di pulau Jawa (S)

p ∧ q : Bandung dan Jambi terletak di pulau Jawa (S)

10
c. Disjungsi (p ∨ q dibaca p atau q)

Disjungsi adalah pernyataan majemuk yang kata penghubungnya “atau”

dengan lambang/notasi ∨, ∨.

1. Disjungsi Inklusif (∨) adalah dua pernyataan bernilai benar jika paling sedikit
salah satu dari keduanya bernilai benar atau kedua-duanya benar .

Dalam bentuk tabel kebenaran:

p q p∨q
B B B
B S B
S B B
S S S

Contoh:

p : 7 merupakan bilangan ganjil (B)

q : 7 merupakan bilangan prima (B)

p ∨ q : 7 merupakan bilangan ganjil atau prima (B)

2. Disjungsi eksklusif (∨) adalah dua pernyataan bernilai benar jika hanya salah
satunya benar dan tidak boleh kedua-duanya benar.

Dalam bentuk tabel kebenaran:

p q p∨q
B B S
B S B
S B B
S S S

Contoh :

p : Kamera adalah alat visual (B)

q : Kamera adalah alat audial (S)

p ∨ q : Kamera adalah alat visual atau alat audial (B)

11
d. Implikasi / kondisional (pernyataan bersyarat)

Implikasi adalah suatu pernyataan “ jika…maka...yang ditulis dengan notasi

p q atau p q.

p : disebut anteseden (hipotesis) atau penyebab

q : disebut konsekuen (konklusi) atau kesimpulan (akibat)

Definisi p q bernilai salah hanya jika anteseden p benar dan konsekuen q

salah.

Dalam bentuk tabel kebenaran;

p q p q
B B B
B S S
S B B
S S B

Contoh :

1. p : Pak Ali adalah seorang haji.

q : Pak Ali adalah seorang muslim.
p q : Jika Pak Ali adalah seorang haji, maka ia adalah seorang muslim.
2. p : persamaan kuadrat ax2 + bx + c = 0
q : b2 – 4ac 0

p q : Jika persamaan kuadrat ax2 + bx + c = 0 mempunyai akar – akar real,

maka b2 – 4ac 0.

e. Biimplikasi / Bikondisional (pernyataan dwi syarat)

Biimplikasi adalah suatu pernyataan “ jika …hanya jika.. dan dinotasikan

dengan p q.

Biimplikasi hanya bernilai benar jika komponen-komponennya bernilai sama.

12
 Dalam tabel kebenaran:

p q p q
B B B
B S S
S B S
S S B

Contoh:

p : Dua garis saling berpotongan tegak lurus.

q : Dua garis saling membentuk sudut tegak lurus.

p q : Dua garis saling berpotongan tegak lurus jika dan hanya jika kedua garis
itu saling membentuk sudut 90o.

2.4. Tabel Kebenaran

Cara membuat tabel kebenaran adalah sebagai berikut:

1. Menentukan jumlah komposisi nilai kebenarannya yaitu 2n.

misal : jumlah komposisi dari p, q, r adalah n = 3 maka 2n = 23 = 8.
2. Isi kolom pertama dengan huruf B sebanyak 2n-1 buah berturut-turut mulai baris
pertama kemudian lanjutkan penulisan huruf S di bawahnya secara berturut –
turut .
3. Isi kolom kedua dengan huruf B sebanyak 2n-2 buah berturut-turut yang
kemudian dilanjutkan penulisan huruf S sebanyak 2n-2 di bawahnya berturut-
turut.
4. Isi kolom ketiga dengan huruf B sebanyak 2n-3 buah berturut – turut yang
kemudian dilanjutkan penulisan huruf S sebanyak 2n-3 di bawahnya berturut –
turut.
n – (….)
5. Demikianlah cara pengisian selanjutnya 2 sebanyak kolom yang
dikehendaki.

13
 Contoh pembuatan tabel kebenaran pernyataan:

1. Buatlah tabel kebenaran dari pernyataan p, q, r

Penyelesaian: jumlah pernyataan : { p, q, r} maka n = 3,

Jumlah komposisi nilai kebenaran : 2n = 23 = 8

Kolom p adalah 2n-1 = 23-1 = 22 = 4 maka { B, B, B, B, S, S, S, S }.

Kolom q adalah 2n-2 = 23-2 = 21 = 2 maka { B, B, S, S, B, B, S, S }.

Kolom r adalah 2n-3 = 23-3 = 20 = 1 maka { B, S, B, S, B, S, B, S }.

No. p q r
1. B B B
2. B B S
3. B S B
4. B S S
5. S B B
6. S B S
7. S S B
8. S S S

2. Buatlah tabel kebenaran dari ( p ∧ q ) ∧ ( r ∨ s )

Penyelesaian:

No. (p ∧ q) ∧ (r s)
1 B B B B B B B
2 B B B B B B S
3 B B B B S B B
4 B B B S S S S
5 B S S S B B B
6 B S S S B B S
7 B S S S S B B
8 B S S S S S S
9 S S B S B B B
10 S S B S B B S
11 S S B S S B B
12 S S B S S S S
13 S S S S B B B
14 S S S S B B S
15 S S S S S B B
16 S S S S S S S

14
3. Buatlah tabel kebenaran dari [ p ( q ∧ r ) ] ∧ [ ~q ( ~q ∧ ~r ) ]
Penyelesaian:

No. [p (q ∧ r)] ∧ [ ~p ( ~q ∧ ~r)]

1 B B B B B B S B S S S
2 B S B S S S S B S S B
3 B S S S B S S B B S S
4 B S S S S S S B B B B
5 S B B B B S B S S S S
6 S B B S S S B S S S B
7 S B S S B S B S B S S
8 S B S S S B B B B B B

4. Buatlah tabel kebenaran dari ( p ∧ q ) ( r ∧ ~q )

Penyelesaian:

No. ( p ∧ q) (r ∧ ~q )
1 B B B B B S S
2 B B B B S S S
3 B S S B B B B
4 B S S S S S B
5 S S B S B S S
6 S S B S S S S
7 S S S B B B B
8 S S S S S S B

2.5. Konvers, Invers dan Kontrapositif

Perbedaan kondisional, konvers, invers dan kontrapositif adalah sebagai

berikut.

Kondisional : p → q (jika … maka … )

Konvers : q → p (kebalikan dari kondisional)

Invers : ~p → ~q (negasi dari kondisional)

Kontrapositif : ~q → ~p (kebalikan dari Invers)

15
Contoh :

p→ q : Jika Pak Ali seorang haji, maka ia seorang muslim.

q→ p : Jika Pak Ali seorang muslim, maka ia seoarng haji.

~p → ~q : Jika Pak Ali bukan seorang haji, maka ia bukan seorang muslim.

~q → ~p : Jika Pak Ali bukan seorang muslim, maka ia bukan seorang haji.

Cara memperoleh konvers adalah sebagai berikut.

1. Menukar anteseden dan konsekuennya.

2. Menukar “ Jika … maka … yaitu menukar anak kalimat “ maka “ dengan anak
kalimat yang mengandung “ jika “
3. Pernyataan yang berbentuk subjek – predikat kita tukar predikat dengan
subjeknya.
Tabel kebenaran Konvers, Invers dan Kontrapositif

Kondisional Konvers Invers Kontrapositif

p q ~p ~q
p q q p ~p ~q ~q ~p
B B S S B B B B
B S S B S B B S
S B B S B S S B
S S B B B B B B

2.6 Tautologi, Kontradiksi dan Kontingen

Tautologi adalah suatu pernyataan yang selalu benar tanpa mempedulikan

nilai kebenaran komponen – komponennya. Contoh Tautologi :

p ∨ ~p
B B S
S B B
Kontradiksi adalah pernyatan yang selalu salah tanpa mempedulikan
komponen – komponennya. Contoh Kontradiksi :

p ∧ ~p
B S S
S S B

16
 Kontingen adalah pernyataan yang ada kalanya benar dan ada kalanya salah.
Contoh Kontingen :

p ∧ q
B B B
B S S
S S B
S S S

Contoh tautologi :

Tunjukan dengan tabel kebenaran untuk memeriksa apakah pernyataan

[(p q ) ∧ ( ~q ∨ r ) ] (p r ) ] merupakan tautologi.

Penyelesaian:

No. [(p q) ∧ ( ~q V r)] (p r)

1 B B B B S B B B B B B
2 B B B S S S S B B S S
3 B S S S B B B B B B B
4 B S S S B B S B B S S
5 S B B B S B B B S B B
6 S B B S S S S B S B S
7 S B S B B B B B S B B
8 S B S B B B S B S B S
Tautologi

Contoh kontradiksi :

Buktikan dengan tabel kebenaran singkat bahwa pernyataan

~ [ ( ~p r)∨(p ~q ) ] ∧ r merupakan sebuah kontradiksi.

Penyelesaian:

No. ~ [(~ p r) ∨ (p ~ q) ∧ r
1 S S B B B B B S S B S B
2 S S B B S B B S S B S S
3 S S B B B B B B B S S B
4 S S B B S B B B B S S S
5 S B S B B B S B S B S B
6 S B S S S B S B S B S S
7 S B S B B B S B B S S B
8 S B S S S B S B B S S S

Kontradiksi
17
Contoh kontingen:

Tentukan tabel kebenaran tersebut Tautologi, Kontradiksi atau Kontingen dari

pernyataan ~ ( p r ) ∨ ( ~p ∧ ~q ) r

Penyelesaian:

No. ~ (p ∧ r) ∨ (~ p ∧ ~ q) r
1 S B B B S S B S S B B B
2 B B S S B S B S S B S S
3 S B B B S S B S B S B B
4 B B S S B S B S B S S S
5 B S S B B B S S S B B B
6 B S S S B B S S S B S S
7 B S S B B B S B B S B B
8 B S S S B B S B B S S S

Kontingen

2.7. Pernyataan-Pernyataan Ekuivalen

Pernyataan-pernyataan ekuivalen dalah pernyataan-pernyataan yang

memiliki nilai kebenaran yang sama. Lambang ekuivalen adalah dari definisi
ini dapat dinyatakan bahwa p q jika (p) = (q).

Contoh ekuivalen :

Tabel kebenaran dari pernyataan ( p q)∧(q p ) dan p q adalah sebagai

berikut.

Penyelesaian:

No. (p q) ∧ (q p) No. P q
1 B B B B B B B 1 B B B
2 B S S S S B B 2 B S S
3 S B B S B S S 3 S S B
4 S B S B S B S 4 S B S

Dari tabel terlihat bahwa (p q) ∧ ( q p ) = ( p q )

maka ( p q)∧(q p) p q

18
2.8. Hukum Proposisi

Hukum proposisi bermanfaat untuk membuktikan keekuivalenan dua buah

proposisi. Jika p, dan r suatu pernyataan dan B, S masing-masing menyatakan
benar dan salah, maka berlaku:

1.Hukum Identitas 6. Hukum Absorpsi

p S p p p q) p
p B p p p q) p
2. Hukum Null (Dominisasi) 7. Hukum Komutatif
p S S p q q p
p B B p q p
3. Hukum Negasi 8. Hukum Asosiatif
p p S p (q r) (p q) r
p p B p (q r) (p q) r
4. Hukum Idempotent 9. Hukum Distributif
p p p p (q r) (p q) r)
p p p p (q r) (p q) r)
5. Hukum Involusi 10. Hukum De Morgan
( p) p (p q) q
(p q) q

2.9. Penarikan Kesimpulan (Inferensi)

Argumentasi adalah suatu penegasan dari beberapa premis (pernyataan

benar yang diketahui). Selanjutnya dengan menggunakan langkah-langkah logis,
dapat diturunkan suatu pernyataan yang benar disebut konklusi/kesimpulan.
Suatu argumentasi disebut argumentasi sah, jika mempunyai nilai kebenaran yang
benar. Sedangkan argumentasi yang mempunyai nilai kebenaran salah, disebut
argumentasi tidak sah. Penarikan kesimpulan meliputi: modus ponen, modus
tollen, silogisme hipotesis, silogisme disjungsi, simplikasi, penjumlahan,
konjungsi, absorbi, dilema konstruktif, dilema distruktif yang disajikan pada tabel
berikut.

19
 1. Modus Ponen 6. Penjumlahan (Addisi)
q
p ∨q
q
2. Modus Tollen 7. Konjungsi
q p
q
∧q
3. Silogisme Hipotesis 8. Absorbi
q q
r ∧q)
r
4. Silogisme Disjungsi 9. Dilema Konstruktif
∨q ( q)∧( t)
t

5. Simplikasi (Penyederhanaan) 10. Dilema Distruktif

∧q ( q)∧( t)
∨
∨

Contoh:

1). Modus Ponens

p q : Jika suatu bilangan habis dibagi dua maka bilangan itu bilangan genap

p : 26 habis dibagi 2

q : 26 adalah bilangan genap

20
2). Modus Tollens

p q : jika x adalah bilangan ganjil maka x2 adalah bilangan ganjil

: x2 bukan bilangan ganjil

: x bukan bilangan ganjil.

3). Silogisme Hipotesis

p q : jika x adalah bilangan ganjil maka x2 adalah bilangan ganjil

q r : jika x2 bilangan ganjil maka (x2 + 1) bilangan ganjil

p r : jika x bilangan ganjil maka (x2 + 1) bilangan ganjil

Silogisme disjungsi, simplikasi, penjumlahan, konjungsi, absorbi, dilema

konstruktif, dilema distruktif lanjutkan buat contoh masing-masing sebagai
latihan.

2.10. Aturan Penukaran

1. De Morgan’s Theorem 6. Transposition

∧q) ∨ ) (p q) ( )
∨q) ∧ )
2. Commutation 7. Material Implication
∨q) ∨p) (p q) ∨q)
∧q) ∧p)
3. Association 8. Material Equivalence
∨ ( q ∨ )] ∨q)∨r] (p q) (p )∧(q )
∧ ( q ∧ )] ∧q)∧r] (p q) (p∧ )∨( p )
4. Distribution 9. Exportation
∧ ( q ∨ )] ∧ q ) ∨ ( ∧ r )] ∧q) r] [p q r )]
∨ ( q ∧ )] ∨ q ) ∧ ( p ∨ r )]
5. Double Negation 10. Tautology
p p p (p∨ )
p (p∧ )

21
2.11. Kuantor

Pernyataan berkuantor adalah pernyataan dalam logika matematika yang

memuat kata”ada paling sedikit satu”.”ada beberapa”, “ada tepat satu”, atau”untuk
setiap”. Dalam logika matematika ada dua macam kuantor, yaitu kuantor
universal dan kuantor eksistensial.

2.11.1. Kuantor Universal

Kuantor universal di beri lambang dibaca untuk semua atau untuk

setiap atau setiap.

Misalan p(x) adalah suatu kalimat terbuka dari suatu himpunan semesta S,
maka suatu pernyataannya adalah untuk setiap x S, berlaku p(x) sehingga dalam
logika matematika ditulis sebagai ( .

Karena ( adalah suatu pernyataan maka mempunyai nilai

kebenaran yang harus memenuhi dua sifat berikut:

a) Jika himpunan penyelesaian dari p(x) adalah himpunan semesta S, maka

( benar.
b) Jika himpunan penyelesaian dari p(x) adalah bukan himpunan semesta S, maka
( salah.
Contoh:

1. Jika p(x); x + 5 dengan semesta pembicaraan himpunan bilangan asli N,

maka ( yaitu ( ada suatu pernyataan yang
benar.
2. Jika p(x); x + 3 dengan semesta pembicaraan himpunan bilangan asli N,
maka ( yaitu ( ada suatu pernyataan yang
salah, sebab untuk x { } berlaku x + 3 .

2.11.2. Kuantor Eksistensial

Kuantor eksistensial diberi lambang dibaca ada atau ada paling sedikit
satu. Misalkan p(x) adalah suatu kalimat terbuka dari suatu himpunan semesta S,

22
maka pernyataannya adalah ada sedemikian sehingga berlaku p(x), dalam
logika matematika pernyataan tersebut ditulis sebagai (

Karena ( adalah suatu pernyataan maka mempunyai nilai

kebenaran yang harus memenuhi dua sifat berikut:

a) Jika himpunan penyelesaian dari p(x) adalah himpunan semesta S, maka

( benar.
b) Jika himpunan penyelesaian dari p(x) adalah bukan himpunan semesta S,
maka ( salah.
Contoh:

1. Jika p(x); x + 3 dengan semesta pembicaraan himpunan bilangan asli N,

maka ( yaitu ( ada suatu pernyataan yang
benar, sebab ada nilai x yaitu x = 1 atau x = 2 yang memenuhi
pertidaksamaan x + 3
2. Jika p(x); x + 5 dengan semesta pembicaraan himpunan bilangan asli N,
maka ( yaitu ( ada suatu pernyataan yang
salah, sebab tidak ada x yang memenuhi x + 5 .

2.11.3. Negasi Pernyataan Berkuantor

Negasi dari pernyataan “untuk setiap x berlaku p(x)” ada paling sedikit
satu x sedemikian sehingga p(x) tidak berlaku. Dengan logika matematika
dapat diartikan sebagai berikut:

a)
b)
Contoh:

1. Negasi dari ( adalah (

2. Negasi dari ( adalah (

23
Soal –Soal Latihan:

1. Apakah kalimat-kalimat di bawah ini merupakan pernyataan?

Pada pernyataan majemuk sebutkan penghubungnya: konjungsi, disjungsi,

implikasi atau penyangkalan.

a. Andi pendek.
b. Andi pendek dan Dadi tinggi.
c. Bila kamu marah saya akan pergi.
d. Bunga mawar itu tidak harum.
e. Jika kucing ekornya empat maka anjing matanya satu.
f. Bila a, b, c sisi-sisi segitiga ABC, maka a + b c.
2. Andaikan x ialah “Matematika merupakan Ilmu yang penting” dan y ialah
“Matematika diajarkan di sekolah Dasar”. Tulislah pernyataan-pernyataan
di bawah ini dengan simbol Matematika.
a. Tidak benar Matematika itu merupakan Ilmu yang penting.
b. Matematika di ajarkan di Sekolah Dasar dan Matematika merupakan
Ilmu yang penting.
c. Matematika tidak diajarkan di Sekolah Dasar atau Matematikan bukan
merupakan Ilmu yang penting.
3. Buatlah contoh kalimat pernyataan dari kata hubung logika berikut ini!
a. Negasi
b. Konjungsi

c. Disjungsi

d. Implikasi

e. Biimplikasi

4. Tentukan konvers, invers dan kontraposisi dari pernyataan berikut!

a. Jika 5 adalah bilangan ganjil maka 2 adalah bilangan genap
b. Jika harga BBM naik maka harga sembako naik
c. Jika pak Ali seorang haji maka ia seorang muslim
d. Jika Andi rajin belajar maka ia akan lulus ujian.

24
5. Selidiki apakah pernyataan (proposisi) berikut merupakan tautologi atau
kontradiksi!
a. p
b. p ∧
c. p ]
d. ∧ ∧ ] ∨
6. Periksalah dengan menggunakan tabel kebenaran apakah pernyataan
berikut merupakan Tautologi, Kontradiksi atau kontingen.
a. (p∧ r) ( p ∧ q) r
b. (r∧ p) [(q∧ p) (q r )]
c. ( p q) ( q p )]
d. p ∧ [ q ∧ ( p q )]
e. [( p q) r]∧[(s∧ t)] u.
7. Buatlah contoh pernyataan modus ponen, modus tollen dan silogisme.
8. Gunakan penarikan kesimpulan dan aturan pertukaran dari premis-premis
berikut!
a. p q b. ( p q) ( s r) c. p q
q r q r
p/ r q t p s
t (p q) r/ s
q/ r
9. Gunakan tabel kebenaran untuk memeriksa ekuvalensi berikut!
a. ∨ ∨ ∨
b. p ∨ ∧ ∨ ∧ ∨
c. ∨ ∧
d. (p q) ( p ∧ q)
e. (p q) ( q p)
f. ( (p q )) (p∧ q)
g. [ (p∧q) q] [ p∨( q p)]
10. Bila A = {2, 3, 5}, tentukan nilai kebenaran dari:
a. ( [ = + 4]
b. (

25
11. Jika semesta pembicaraan adalah himpunan bilangan real, tentukan nilai
kebenaran dari pernyataan-pernyataan berikut!

a. | |

b.

c.

d.

12. Buat negasi dari pernyataan-pernyataan berikut!

a. | |
b.
c.
d.
13. Gunakan lambang-lambang kuantor untuk menyatakan pernyataan –
pernyataan berikut!
a. Beberapa bilangan prima adalah genap
b. Kuadrat setiap bilangan negatif adalah positif
c. Persamaan + 1 = 0 tidak mempunyai akar real
d. Untuk setiap bilangan real x ada bilangan real y sehingga 2x + y = 0
14. Buat ingkaran dari pernyataan majemuk berikut ini!
a. Akar dari x2 – x – 2 = 0 adalah x = -1 atau x = 2
b. Jika x2 = 4, maka x = -2 atau x = 2
c. Segitiga ABC sama sisi jika dan hanya jika sudut – sudutnya sama atau
sisi- sisinya sama.
15. Gunakan Simbol-simbol yang ada pada logika matematika dan pada
himpunan untuk menuliskan pernyataan-pernyataan berikut!
a. Jika x bilangan real positif maka ada bilangan asli n sedemikian
sehingga x
b. Jika a.b = a.c dan a maka b = c.
c. Jika a sedemikian sehingga 0 a untuk setiap bilangan positif
maka a = 0

26
 RANGKUMAN

Pernyataan adalah kalimat tertutup atau kalimat yang dapat ditentukan nilai
kebenarannya (bernilai benar atau salah).

Pernyataan Majemuk:

1. Negasi suatu pernyataan bernilai benar jika pernyataan semula salah atau
bernilai salah jika pernyataan semula bernilai benar. Notasi untuk negasi p
adalah ~p atau – p.
2. Konjungsi dihubungkan dengan kata penghubung “dan”. Dengan notasi
lambang “∧”. Konjungsi dari dua pernyataan p dan q bernilai benar hanya
jika komponen-komponennya bernilai benar.
3. Disjungsi kata penghubungnya “atau” dengan lambang/notasi ∨, ∨.

Disjungsi bernilai benar jika paling sedikit salah satu dari keduanya
bernilai benar atau kedua-duanya benar .

4. Implikasi adalah suatu pernyataan “ jika…maka...yang ditulis dengan notasi

p q atau p q.
p : disebut anteseden (hipotesis) atau penyebab
q : disebut konsekuen (konklusi) atau kesimpulan (akibat)

p q bernilai salah hanya jika anteseden p benar dan konsekuen q salah.

5. Biimplikasi adalah suatu pernyataan “ jika …hanya jika.. dan dinotasikan

dengan p q.
6. Biimplikasi hanya bernilai benar jika komponen-komponennya bernilai
sama.

Kondisional, Konvers, Invers dan Kontrapositif

1. Kondisional : p → q (jika … maka … )

2. Konvers : q → p (kebalikan dari kondisional)
3. Invers : ~p → ~q (negasi dari kondisional)
4. Kontrapositif : ~q → ~p (kebalikan dari Invers)

27
Tautologi, Kontradiksi, dan Kontingen:

1. Tautologi adalah suatu pernyataan yang selalu benar tanpa mempedulikan

nilai kebenaran komponen – komponennya.
2. Kontradiksi adalah pernyatan yang selalu salah tanpa mempedulikan
komponen – komponennya
3. Kontingen adalah pernyataan yang ada kalanya benar dan ada kalanya
salah.

Pernyataan Berkuantor:

1. Kuantor universal di beri lambang dibaca untuk semua atau untuk

setiap atau setiap.
2. Kuantor eksistensial diberi lambang dibaca ada atau ada paling sedikit
satu. Misalkan p(x) adalah suatu kalimat terbuka dari suatu himpunan
semesta S, maka pernyataannya adalah ada sedemikian sehingga
berlaku p(x), dalam logika matematika pernyataan tersebut ditulis sebagai
(
3. Negasi dari pernyataan “untuk setiap x berlaku p(x)” ada paling
sedikit satu x sedemikian sehingga p(x) tidak berlaku. Dengan logika
matematika dapat diartikan sebagai berikut:
a)
b)

Penarikan Kesimpulan (Inferensi):

Suatu argumentasi disebut argumentasi sah, jika mempunyai nilai kebenaran

yang benar. Sedangkan argumentasi yang mempunyai nilai kebenaran salah,
disebut argumentasi tidak sah. Penarikan kesimpulan meliputi: modus ponen,
modus tollen, silogisme hipotesis, silogisme disjungsi, simplikasi, penjumlahan,
konjungsi, absorbi, dilema konstruktif, dan dilema distruktif.

28
 GLOSARIUM

Negasi Pernyataaan baru yang bernilai benar jika pernyataan

semula salah atau bernilai salah jika pernyataan
semula bernilai benar. Notasi untuk negasi p adalah
~p atau – p.
Konjungsi Suatu pernyataan majemuk yang dihubungkan
dengan kata penghubung “dan”. Dengan notasi
lambang “∧”. Konjungsi dari dua pernyataan p dan q
bernilai benar hanya jika komponen-komponennya
bernilai benar.
Disjungsi Pernyataan majemuk yang kata penghubungnya
“atau” dengan lambang/notasi ∨, ∨.
Implikasi Suatu pernyataan “ jika…maka...yang ditulis dengan
notasi p q atau p q
Anteseden Hipotesis atau penyebab
Konsekuen Konklusi atau kesimpulan (akibat)
Biimplikasi Suatu pernyataan “ jika …hanya jika.. dan
dinotasikan dengan p q
Kondisional Suatu pernyataan “ jika…maka..
Konvers Kebalikan dari kondisional
Invers Negasi dari kondisional
Kontrapositif Kebalikan dari invers
Tautologi Suatu pernyataan yang selalu benar tanpa
mempedulikan nilai kebenaran komponen –
komponennya.
Kontradiksi Pernyatan yang selalu salah tanpa mempedulikan
komponen – komponennya.
Kontingen Pernyataan yang ada kalanya benar dan ada kalanya
salah.
Kuantor Ukuran kuantitas, dengan kata “ada” atau “beberapa”

29