BAB I

PENDAHULUAN
1.1 Latar belakang
Tidak dapat dibantah lagi bahwa logika, penalaran dan argumentasi
sangat sering digunakan dalam kehidupan sehari-hari Manusia. Melalui
Logika kita dapat mengetahui nilai kebenaran dari suatu pernyataan.
Logika matematika juga dapat membantu kita dalam merancang sebuah
program komputer.

1.2 Tujuan
Tujuan dari penulisan makalah critical book ini antara lain:
1. untuk memenuhi salah satu tugas mata kuliah Himpunan dan Logika
2. untuk melatih mahasiswa dalam menafsirkan dan membandingkan
antara 2 buku
3. untuk mendalami dan memahami pokok bahasan khususnya tentang
Kalkulus Pernyataan (The propositional calculus)

1.3 Rumusan masalah

1. Apa itu Logika Matematika?
2. Apa yang dimaksud dengan Negasi, Konjungsi, Disjungsi,
Kondisional, Bikondisional?
3. Apa keunggulan dari penyajian yang di sajikan dalam buku utama dan
buku pembanding?
4. Apa kelemahan dari penyajian yang di sajikan dalam buku utama dan
buku pembanding?

1
 BAB II
ISI
A. IDENTITAS BUKU
1. Buku Utama

Judul Buku : Introduction to Mathematical Logic

Pengarang : Elliot Mendelson
Penerbit : Chapman & Hall
Tahun Terbit : 1997
Kota Terbit : London
Tebal Buku : 447

2. Buku Pembanding

Judul Buku : Introduction to Logic

Pengarang : Patrick Suppes
Penerbit : Litton Educational Publishing, INC.
Tahun Terbit : 1957
Kota Terbit : United States of America (USA)
Tebal Buku : 330

2
B. RINGKASAN BUKU
1. BUKU UTAMA

The Propositional Calculus

Tabel Kebenaran Logika Proposisi
Kalimat dapat kita gabungkan dengan beberapa cara untuk membentuk kalimat
yang rumit. Kita hanya memikirkan kombinasi kebenaran fungsional, di mana
kebenaran atau kepalsuan kalimat baru ditentukan oleh kebenaran atau
kepalsuan bagian bagian dari kalimat
Negasi adalah salah satu operasi yang paling sederhana pada kalimat.
Meskipun sebuah kalimat dengan Bahasa yang umum dapat dinegasikan dengan
berbagai cara, kita harus menerapkan prosedur yang seragam : meletakkan tanda
sebuah negasi, maka ¬A menunjukkan negasi dari A.
Kebenaran fungsional karakter dari negasi dimuat dalam table berikut ini:
A ¬A
T F
F T
Ketika A nilai kebenarannya adalah benar, maka ¬A adalah salah. Ketika A
nilai kebenarannya adalah salah, maka ¬A adalah benar.
Operasi kebenaran fungsional umum lainnya adalah konjungsi: “dan”.
Konjungsi dari kalimat A dan B akan digambarkan dengan A˄B dan
mempunyai table kebenaran sebagai berikut :
A B A˄B
T T T
F T F
T F F
F F F
A˄B akan benar jika dan hanya jika A dan B bernilai benar.
Dalam Bahasa yang umum, ada dua penggunaan yang berbeda dari ‘atau’
3
Yaitu inclusive dan eksklusif. Berdasarkan kepada penggunaan inklusif, ‘A atau
B’ berarti ‘A atau B atau keduanya’. Sedangkan berdasarkan penggunaan
eksklusif , arti dari ‘A atau B, tetapi tidak keduanya’. Kita harus mengenalkan
tanda special,˅, untuk penghubung inklusif. Tabel kebenarannya adalah sebagai
berikut
A B A˅B
T T T
F T T
T F T
F F F
A˅B adalah salah jika dan hanya jika keduanya A dan B adalah salah. ‘A˅B’
dinamakan disjungsi, dengan disjungsi A dan B.
Operator fungsional kebenaran penting lainnya adalah kondisional : ‘if A,
then B’. Penggunaan biasa tidak jelas disini. Tentunya, ‘ jika A, maka B’ adalah
salah ketika Penyebab A adalah benar tetapi konsekuensi B adalah salah.
Bagaimanapun, dalam kasus lain, tidak ada nilai kebenaran yang didefenisikan
dengan baik. Contohnya, kalimat berikut akan ditentukan dia benar atau salah :
1. Jika 1+1=2, maka ibukota Paris adalah Perancis
2. Jika 1+1≠2, maka ibukota Paris adalah Perancis
3. Jika 1+1≠2, maka ibukota Roma adalah Perancis
Arti dari kalimat tersebut belum jelas, Karena kita sudah terbiasa dengan
pernyataan beberapa orang semacam hubungan (penggunaan biasanya) antara
penyebab dan konsekuensi. Kita harus membuat ketentuan bahwa ‘jika A, maka
B’ adalah salah jika dan hanya jika A adalah benar dan B adalah salah. Kalimat
1-3 adalah diasumsikan benar. Ayo kita gambarkan ‘jika A, maka B’ dengan
‘A→B’ dinamakan kondisional. Berikut Tabel kebenarannya

4
 A B A→B
T T T
F T T
T F F
F F T

Kemudian, mari kita gambarkan ‘A jika dan hanya jika B’ dengan ‘A↔B’.
Ekspersi itu dinamakan Bikondisional. A↔B adalah benar ketika A dan B
memiliki nilai kebenaran yang sama. Berikut Tabel kebenarannya
A B A↔B
T T T
F T F
T F F
F F T

2. BUKU PEMBANDING

The Sentential Connectives

Negasi dan Konjungsi
Kita membantah kebenaran dari sebuah kalimat dengan menegaskan nya
dengan negasi. Contohnya, jika kita berpikir bahwa kalimat “Gula
menyebabkan kerusakan gigi” adalah salah, kita menegaskan kalimat “Gula
tidak menyebabkan kerusakan gigi”. Metode yang umum dalam menegaskan
negasi dari kalimat yang sederhana adalah dengan menggambarkan dengan
contoh berikut : kita menambahkan kata ‘tidak’ ke dalam kata kerja utama dari
sebuah kalimat. Bagaimanapun, penegasan dari negasi dari sebuah kalimat
majemuk lebih rumit. Contohnya, kita membantah kalimat ‘Gula menyebabkan
kerusakan gigi dan wiskey menyebabkan bisul’ dengan menegaskan ‘Hal ini
tidak terjadi bahwa gula menyebabkan kerusakan gigi dan wiskey menyebabkan
5
bisul’. Meskipun terdapat perbedaan yang sangat jelas dari dua contoh tadi,
lebih mudah untuk mengadopsi dalam logika tanda tunggal untuk membentuk
penyangkalan terhadap sebuah kalimat. Kita harus menggunakan awalan ‘¬’,
dimana itu diletakkan di paling depan kalimat. Dengan demikian negasi dari
kalimat pertama adalah :

¬(Gula menyebabkan kerusakan gigi)

Kita menggunakan kata ‘dan’ untuk menggabungkan dua kalimat untuk

membuat menjadi satu kalimat dimana kita menamakan nya konjungsi dari dua
kalimat. Contohnya, kalimat ‘Mary mencintai John dan Jhon mencintai Mary’
adalah konjungsi dari kalimat ‘Mary mencintai Jhon’ dan kalimat ‘Jhon
mencintai Mary’. Kita harus menggunakan tanda ‘&’ untuk konjungsi. Dengan
demikian konjungsi dari dua pernyataan acak P dan Q ditulis

P&Q.

DISJUNGSI
Kita menggunakan kata ‘atau’ untuk memperoleh disjungsi dari dua
kalimat. Dalam seluruh Bahasa, kata ‘atau’ digunakan dalam dua hal yang
berbeda. Pertama, yaitu non-eksklusif, disjungsi dari dua kalimat yang bernilai
benar jika setidaknya salah satu kalimat tersebut benar. Yang pastinya
pernyatan ini sering di ekspresikan dengan tanda ‘and/or’

Bahasa Latin ‘vel’ memiliki arti dari ‘atau’ di non eksklusif , sehingga
kita menggunakan tanda ‘˅’ untuk disjungsi dari dua kalimat. Dengan demikian,
disjungsi dari pernyataan P dan Q dituliskan :

P˅Q

IMPLIKASI: Pernyataan Kondisional

Kita menggunakan kata ‘jika…, maka…..’ untuk memperoleh dari dua
kalimat sebuah kalimat kondisional. Sebuah kalimat kondisional juga
dinamakan dengan implikasi. Kata kata yang sering digunakan dalam
keseharian, Hal ini sulit untuk karakteristik keadaan di bawah yang kebanyakan
orang akan menerima kalimat kondisional bernilai benar. Berdasarkan contoh
yang umum yang telah kita gunakan sebelumnya

Jika Mary mencintai Jhon, Maka Jhon mencintai Mary

6
 Jika kalimat ‘Mary mencintai Jhon’ adalah benar dan kaliamat ‘Jhon
mencintai Mary’ adalah salah, maka semua orang akan setuju bahwa kalimat
yang pertama itu salah. Selanjutnya Jika kalimat ‘Mary mencintai Jhon’ adalah
benar dan kaliamat ‘Jhon mencintai Mary’ adalah Benar, maka semua orang
akan setuju bahwa kalimat yang pertama itu Benar.

Untuk notasi, Kalimat kondisional dirumuskan dari Dua kalimat P dan Q

ditulis :

P→Q

Tanda ‘→’ sering kita namakan tanda dari implikasi. Kita juga menulis P→Q
untuk

P hanya jika Q

Q jika P

Q membenarkan bahwa P

P adalah kondisi yang sesuai untuk Q

Q adalah kondisi yang penting untuk P

Pernyataan BIKONDISIONAL
Kita menggunakan kata ‘jika dan hanya jika’ untuk memperoleh dari dua
kalimat menjadi sebuah pernyataan bikondisional. Sebuah pernyataan
bikondisional juga dinamakan sebagai ekuivalensi, dan dua kalimat
dihubungkan dengan ‘jika dan hanya jika’ dinamakan kiri dan kanan bagian dari
ekuivalensi. Pernyataan Bikondisional

(1) P jika dan hanya jika Q

Memiliki arti yang sama dengan kalimat

(2) P jika Q, dan P hanya jika Q

Dan (2) ekuivalen dengan

(3) Jika P maka Q, dan Jika Q maka P

Peraturan dari penggunaan konjungsi dan implikasi memberitahu kita bahwa (3)
adalah benar hanya ketika P dan Q adalah benar atau salah. Dengan demikian,

7
Pernyataan kondisional bernilai benar jika dan hanya jika dua bagian kalimat itu
bernilai benar atau salah. Untuk notasi nya dapat dituliskan dengan

P↔Q

Untuk bentuk bikondisional dari kalimat P dan Q.

Untuk merespon tanda kita yang terakhir, kita catat bahwa (1) adalah
ekuivalen dengan

Q adalah penting dan kondisi yang cocok untuk P.

C. KELEBIHAN DAN KEKURANGAN BUKU

A. KELEBIHAN
1. BUKU UTAMA
Pada buku ini terdapat berbagai variasi soal dari berbagai pokok
bahasan seperti negasi, disjungsi, konjungsi, implikasi, dan
bikondisional. Buku ini juga memberikan table kebenaran untuk setiap
operator-operator logika yang ada.
2. BUKU PEMBANDING
Penjelasan mengenai Logika proposisi ini lengkap dan terdapat
penjelasan yang mendetail mengenai pokok bahasan logika proposisi.
8
 Dan juga ada banyak contoh berupa kalimat proposisi yang dapat
membantu pembaca memahami isi dari buku tersebut.

B. KELEMAHAN
1. BUKU UTAMA
Penjelasan mengenai logika proposisi dan operator nya singkat,
sehingga pembaca yang belum pernah sama sekali membaca tentang
logika proposisi dan operator nya akan mengalami kesulitan dalam
memahaminya
2. BUKU PEMBANDING
Pada buku ini tidak terdapat Tabel kebenaran operator-operator
logika. Buku ini hanya memaparkan kebenaran suatu proposisi
menggunakan kata kata.

9
BAB III
PENUTUP

A. KESIMPULAN

Buku dengan sumber Introduction to Logic menyajikan lebih luas tentang

pembahasan dari berbagai logika operator. Buku ini juga menyajikan pembahasan yang
mendetail. Sehingga buku ini lebih bagus dan lebih tepat untuk digunakan sebagai bahan
ajar mahasiswa dalam memahami awal dari logika matematika

Sedangkan buku dengan sumber Introduction to Mathematical Logic bagus

juga, pembahasan yang singkat. Tapi untuk dijadikan sebagai buku untuk memahami lebih
dalam tentang Logika matematika, lebih cocok untuk mahasiswa yang ingin lebih memahami
lebih dalam tentang logika matematika dan operatornya.

B. SARAN

Bagi mahasiswa, terutama mahasiswa baru maka lebih tepat untuk

menggunakan buku dengan sumber Introduction to Logic sebagai bahan
ajar. Karena menyajikan dengan rinci tiap materi serta menggunakan poin-
poin tertentu.

10