See discussions, stats, and author profiles for this publication at: https://www.researchgate.

net/publication/329444552

LOGIKA MATEMATIKA

Book · December 2018

CITATIONS READS
0 18,320

1 author:

Fajar Astuti Hermawati

Untag Surabaya University
53 PUBLICATIONS 187 CITATIONS

SEE PROFILE

All content following this page was uploaded by Fajar Astuti Hermawati on 06 December 2018.

The user has requested enhancement of the downloaded file.

 LOGIKA MATEMATIKA

FAJAR ASTUTI HERMAWATI, S.Kom, M.Kom

Penerbit:

Fakultas Teknik Universitas 17 Agustus 1945 Surabaya

 LOGIKA MATEMATIKA

2018

Cetakan Pertama

Penulis:

FAJAR ASTUTI HERMAWATI, S.Kom, M.Kom

Editor:
Aris Sudaryanto, S. ST., M.T.
Desain Sampul:
Nadhif Fernanda Irfansyah

Penerbit:

Fakultas Teknik Universitas 17 Agustus 1945 Surabaya

Gedung L, Fakultas Teknik Universitas 17 Agustus 1945 Surabaya

aris@untag-sby.ac.id
085735950554 / (031) 5931800

Katalog Dalam Terbitan

ISBN 978-602-51842-0-8

@ HAK CIPTA DILINDUNGI UNDANG-UNDANG

Dilarang memperbanyak karya tulis ini dalam bentuk dan dengan cara
apapun tanpa izin tertulis dari Penulis
 Pengantar
Dalam ilmu komputer, matematika memegang peranan sangat besar. Pada teknik
informatika, biasanya diberikan di semester pertama, sehingga diharapkan dapat
digunakan sebagai dasar mata kuliah lain yang banyak berhubungan dengan logik.

Buku ini disusun atas dasar kurangnya penerbitan buku dalam bahasa Indonesia
yang khusus membahas logika matematika. Dan buku ini secara khusus ditujukan
sebagai diktat atau buku ajar untuk mata kuliah logika matematika di jurusan
Teknik Informatika Universitas 17 Agustus 1945 Surabaya. Buku ini terdiri dari
beberapa bagian yaitu :

Bab I Pendahuluan, yang memberi pengantar dan pemahaman mengenai apa itu
logika, apa hubungan logika formal dan logika manusia.

Bab II Kalkulus Proposisi, membahas mengenai proposisi, baik itu tunggal maupun
majemuk, kata sambung dan ekspresi dalam bentuk aljabar, serta membuktikan
secara formal sejumlah argumen.

Bab III Kalkulus Predikat, membahas tentang apa itu predikat, pengukur jumlah,
bagaimana membuktikan validitas argumen-argumen yang menggunakan
pengukur jumlah. Dalam bab ini, juga dibahas mengenai apa itu aljabar, dan tentu
saja mengenai aljabar boolean yang akan digunakan dalam teknik digital.

Bab IV Induksi Dan Rekursi, membahas mengenai cara pembuktian lain yang
disebut dengan induksi matematika, serta menjelaskan apa itu rekursi, yang akan
banyak ditemui dalam pemrograman komputer maupun dalam bidang komputasi.

Buku ini dilengkapi dengan contoh soal dan soal-soal latihan yang berhubungan
dengan tiap bab yang sedang dibahas.

Penulis berharap buku ini bermanfaat, khususnya pembaca yang sedang menekuni
dan menempuh studi ilmu komputer. Kepada Bapak Bambang Setiawan, S.Kom,
M.T, selaku Ketua Jurusan Teknik Informatika Universitas 17 Agustus 1945
Surabaya dan pihak lain yang membantu sehingga selesainya penulisan buku ini,
penulis ucapkan terima kasih.

Buku ini masih sangat jauh dari sempurna, baik susunan, isi maupun tata tulisnya.
Untuk itu penulis sangat mengharapkan masukan dan kritik yang membangun,
agar buku ini menjadi lebih baik.

Surabaya, 6 April 2018

Fajar Astuti Hermawati, S.Kom.

v
vi
Daftar Isi

Pengantar

Daftar Isi

Bab I Pendahuluan 1

1.1. Logika Manusia 1

1.2. Logika Formal 3
1.3. Aplikasi 5

Bab II Kalkulus Proposisi 7

2.1. Proposisi Logik 7

2.2. Operator Logik 9

2.2.1. Negasi 9
2.2.2. Konjungsi 10
2.2.3. Disjungsi 11
2.2.4. Kondisional 12
2.2.5. Bikondisional 14

2.3. Proposisi Gabungan 15

2.3.1. Ekspresi Logik 15
2.3.2. Analisa Proposisi Gabungan 16
2.3.3. Aturan Presedensi 19
2.3.4. Evaluasi Ekspresi dan Tabel Kebenaran 19

2.4. Tautologi Dan Kontradiksi 22

2.4.1. Tautologi 23
2.4.2. Kontradiksi 24
2.4.3. Tipe Penting Dari Tautologi 24

2.5. Ekivalensi Logik 25

2.5.1. Pembuktian Ekivalensi Logik dengan Tabel Kebenaran26
2.5.2. Aljabar Proposisi 26
2.5.3. Menghilangkan Kondisional Dan Bikondisional 29
2.5.4. Bentuk Normal 30
2.5.5. Tabel Kebenaran Dan Bentuk Normal Disjungtif 32
2.5.6. Bentuk Normal Konjungtif Dan Komplementasi 34

vii
 2.6. Argumen Logik Dan Implikasi Logik 37
2.6.1. Argumen Logik 37
2.6.2. Implikasi Logik 39
2.6.3. Bukti Argumen Valid Dengan Tabel Kebenaran 40
2.6.4. Bukti Formal 42
2.6.5. Teorema Deduksi 46

Bab III Kalkulus Predikat 53

3.1. Komponen Sintaks Dari Kalkulus Predikat 53

3.1.1. Semesta Pembicaraan (Universe Of Discourse) 54
3.1.2. Predikat 55
3.1.3. Variebel Dan Instantiasi 56
3.1.4. Pengukur Jumlah (Quantifier) 58
3.1.5. Pembatasan Pengukur Jumlah Terhadap Kelompok Tertentu 61

3.2. Interpretasi Dan Validitas 63

3.2.1. Interpretasi 63
3.2.2. Validitas 67
3.2.3. Ekspresi Tidak Valid (Invalid Expression) 70
3.2.4. Pembuktian Validitas 72

3.3. Derivasi 74
3.3.1. Instantiasi Universal 74
3.3.2. Generalisasi Universal 76
3.3.3. Teorema Deduksi Dan Generalisasi Universal 78
3.3.4. Menghilangkan Pengukur Jumlah Universal 78
3.3.5. Existential Generalization 81
3.3.6. Existential Instantiation 82

3.4. Ekivalensi Logik 85

3.4.1. Ekivalensi Logik Dasar 85
3.4.2. Ekivalensi Penting Lainnya 86

3.5. Logika Persamaan 90

3.5.1. Persamaan 90
3.5.2. Persamaan Dan Keunikan 91
3.5.3. Fungsi Dan Logika Persamaan 93
3.5.4. Komposisi Fungsi 95
3.5.5. Sifat Dari Operator 96
3.5.6. Elemen Identitas Dan Elemen Nol 98
3.5.7. Derivasi Dalam Logika Persamaan 101
3.5.8. Aljabar Boolean 103

viii
Bab IV Induksi Dan Rekursi 111

4.1. Induksi Pada Bilangan Asli (Natural) 111

4.1.1. Bilangan Asli 111
4.1.2. Induksi Matematis 113

4.2. Jumlahan (Sum) 116

4.2.1. Definisi Rekursif Dari Jumlah Dan Hasil Kali117
4.2.2. Beberapa Sifat Jumlahan 119

4.3. Definisi Rekursi 120

Daftar Pustaka 123

ix
 x

View publication stats