TABEL KEBENARAN

Oleh:

Muhammad Rifky Saputra Scania 13020230193

PROGRAM STUDI TEKNIK INFORMATIKA

FAKULTAS ILMU KOMPUTER
UNIVERSITAS MUSLIM INDONESIA
2023

i
 KATA PENGANTAR

Pengembangan pemikiran dan konsep dalam bidang logika matematika telah memainkan
peran kunci dalam perkembangan ilmu pengetahuan dan teknologi. Salah satu alat penting dalam
menganalisis dan memahami struktur logika adalah "Tabel Kebenaran." Dalam makalah ini, kami
akan menjelaskan konsep dasar tabel kebenaran, struktur, penggunaan, dan signifikansinya dalam
logika dan matematika.
Pemahaman yang baik tentang tabel kebenaran adalah fundamental dalam berbagai aspek
kehidupan kita, mulai dari perancangan rangkaian logika digital hingga penerapan dalam pembuktian
teorema dalam matematika. Dengan pemahaman yang baik tentang tabel kebenaran, kita dapat
melakukan analisis logika yang lebih mendalam dan merumuskan kesimpulan yang lebih akurat.
Makalah ini disusun dengan tujuan untuk memberikan pandangan yang komprehensif tentang konsep
tabel kebenaran, menggali berbagai aplikasi dalam konteks logika dan matematika, serta
mengilustrasikan pentingnya pemahaman yang baik tentang tabel kebenaran dalam dunia yang
semakin tergantung pada teknologi informasi.
Kami berharap bahwa makalah ini dapat memberikan kontribusi yang berarti dalam
meningkatkan pemahaman Anda tentang tabel kebenaran dan bagaimana Anda dapat
menggunakannya dalam berbagai konteks. Kami juga ingin mengucapkan terima kasih kepada para
penulis dan peneliti yang telah memberikan panduan dan pengetahuan yang berharga yang menjadi
dasar bagi makalah ini.
Semoga makalah ini bermanfaat dan memberikan kontribusi dalam pengembangan pemikiran
dan pemahaman Anda tentang logika dan matematika.

Makassar, September 2023

penulis

ii
 DAFTAR ISI

KATA PENGANTAR............................................................................................................................ ii
DAFTAR ISI................................................................................................................................... iii
BAB 1................................................................................................................................................ 1
PENDAHULUAN............................................................................................................................ 1
1.1 Latar Belakang..................................................................................................................... 2
1.2 Rumusan Masalah................................................................................................................ 2
1.3 Tujuan................................................................................................................................... 2
1.4 Manfaat................................................................................................................................. 2
BAB 2................................................................................................................................................ 3
PEMBAHASAN...............................................................................................................................3
2.1 Elemen Elemen Utama Tabel Kebenaran............................................................................. 3
2.1.1 Variabel Logika........................................................................................................... 3
2.1.2 Operasi Logika............................................................................................................ 3
2.1.3 Hasil Operasi............................................................................................................... 3
2.1.4 Baris.............................................................................................................................3
2.1.5 Kolom.......................................................................................................................... 3
2.3 Operasi - operasi Logika....................................................................................................... 4
AND (Konjungsi)................................................................................................................. 4
OR (Disjungsi)......................................................................................................................5
NOT (Negasi)....................................................................................................................... 5
IMPLIKASI (→).................................................................................................................. 6
BIIMPLIKASI (↔).............................................................................................................. 6
XOR (Eksklusif OR)............................................................................................................ 7
NAND (AND Negasi).......................................................................................................... 7
NOR ( OR Negasi ).............................................................................................................. 8
XNOR ( Ekslusif NOR ).......................................................................................................8
2.2.10 Soal............................................................................................................................ 8
2.3 Penarikan Kesimpulan Kaidah Kaidah Logika.....................................................................9
2.3.1 Modus Ponens............................................................................................................. 9
2.3.2 Modus Tollens............................................................................................................. 9
2.3.3 Silogisme..................................................................................................................... 9
2.3.4 Penambatan Disjungsi............................................................................................... 10
2.3.5 Konjungsi.................................................................................................................. 10
2.3.6 Penyederhanaan Konjungsi....................................................................................... 11
2.3.7 Dilema....................................................................................................................... 11
BAB 3.............................................................................................................................................. 15
PENUTUP...................................................................................................................................... 15
3.1 Simpulan............................................................................................................................. 15
3.2 Saran....................................................................................................................................15
DAFTAR PUSTAKA............................................................................................................................16

iii
 BAB 1

PENDAHULUAN

Logika adalah dasar dari banyak aspek dalam pemikiran manusia, dari pemecahan masalah
sehari-hari hingga perkembangan ilmu pengetahuan canggih. Konsep dasar dalam logika adalah
pernyataan, yang dapat berupa pernyataan sederhana seperti "hari ini cerah" hingga pernyataan
kompleks yang melibatkan banyak faktor seperti "perubahan iklim dunia dipengaruhi oleh berbagai
variabel, termasuk tingkat emisi karbon dioksida." Dalam usaha untuk memahami, menganalisis, dan
membuat kesimpulan dari pernyataan-pernyataan ini, alat penting yang digunakan adalah "Tabel
Kebenaran."

Tabel kebenaran adalah sebuah konsep yang sederhana dalam logika, tetapi memiliki
implikasi yang sangat luas dan relevan dalam berbagai konteks. Tujuan utama tabel kebenaran adalah
membantu kita dalam menentukan nilai kebenaran dari pernyataan atau kombinasi pernyataan. Ini
adalah alat yang kuat untuk membantu kita memahami bagaimana pernyataan-pernyataan logika
saling berhubungan dan bagaimana perubahan nilai kebenaran satu pernyataan dapat memengaruhi
hasil keseluruhan.

Dalam pendahuluan ini, kami akan menjelaskan konsep dasar dari tabel kebenaran, termasuk
strukturnya, penggunaannya, serta signifikansinya dalam analisis logika dan matematika. Kami juga
akan mengilustrasikan berbagai contoh bagaimana tabel kebenaran dapat diterapkan dalam berbagai
situasi dalam kehidupan sehari-hari dan dalam ilmu pengetahuan.

Dengan memahami konsep tabel kebenaran, kita dapat memperoleh keterampilan analitis
yang lebih baik, membantu kita membuat keputusan yang lebih cerdas dan efisien, dan membuka
pintu untuk eksplorasi lebih lanjut dalam berbagai aspek logika dan matematika.

1.1 Latar Belakang

Pada abad ke-19, matematikawan George Boole mengembangkan aljabar Boolean yang
menjadi dasar bagi logika matematika modern. Salah satu elemen kunci dalam aljabar Boolean adalah
pemodelan nilai kebenaran dengan menggunakan konsep "True" (Benar) dan "False" (Salah). Konsep
ini adalah dasar dari apa yang kita sebut sebagai "Tabel Kebenaran." Tabel kebenaran menjadi
instrumen penting dalam menganalisis dan memahami pernyataan-pernyataan logika serta
operasi-operasi yang dapat dilakukan terhadap mereka.

Seiring dengan perkembangan teknologi dan peningkatan kompleksitas dalam pemrograman

komputer, tabel kebenaran telah menjadi instrumen penting dalam desain rangkaian logika digital.
Rangkaian-rangkaian ini mendasari komputer dan perangkat elektronik modern yang kita gunakan
sehari-hari. Oleh karena itu, pemahaman yang baik tentang tabel kebenaran adalah kunci untuk
pengembangan teknologi informasi dan komunikasi yang semakin canggih.

1
 Selain itu, tabel kebenaran juga memiliki aplikasi luas dalam berbagai disiplin ilmu, termasuk
matematika, filsafat, sains komputer, dan kecerdasan buatan. Menganalisis pernyataan logika dengan
menggunakan tabel kebenaran membantu dalam pembuktian teorema matematika, pemecahan
masalah dalam sains komputer, dan pengambilan keputusan dalam berbagai konteks.

Makalah ini akan menjelaskan konsep dasar tabel kebenaran, strukturnya, penggunaannya
dalam berbagai konteks, serta relevansinya dalam dunia yang semakin tergantung pada teknologi
informasi. Kami akan menguraikan contoh-contoh konkrit dan aplikasi nyata dari tabel kebenaran,
yang akan memberikan pemahaman yang lebih mendalam tentang bagaimana alat ini dapat diterapkan
dalam berbagai aspek kehidupan dan penelitian.

Dengan memahami sejarah dan latar belakang tabel kebenaran, kita akan dapat mengenali
peran kunci yang dimainkannya dalam pemikiran dan teknologi modern. Hal ini akan membantu kita
dalam menggunakan alat ini dengan lebih efektif dalam berbagai konteks, meningkatkan kemampuan
analitis kita, dan mendorong perkembangan pengetahuan dalam berbagai bidang ilmu pengetahuan.

1.2 Rumusan Masalah

1) Apa itu tabel kebenaran dan bagaimana struktur dasarnya?

2) Bagaimana tabel kebenaran berperan dalam pengujian implikasi antara pernyataan logika?
3) Bagaimana pemahaman tentang tabel kebenaran dapat meningkatkan kemampuan analitis dan
pengambilan keputusan?

1.3 Tujuan

1) Mengklarifikasi Konsep Tabel Kebenaran: Tujuan utama makalah ini adalah memberikan
pemahaman yang jelas tentang apa itu tabel kebenaran, bagaimana strukturnya, dan
bagaimana tabel ini digunakan dalam konteks logika.
2) Mengilustrasikan Penggunaan Tabel Kebenaran: Makalah ini akan mengilustrasikan berbagai
contoh bagaimana tabel kebenaran dapat digunakan untuk mengevaluasi pernyataan logika,
menguji implikasi, dan menganalisis operasi-operasi logika.
3) Meningkatkan Kemampuan Analitis: Tujuan lainnya adalah membantu pembaca memahami
bagaimana pemahaman tentang tabel kebenaran dapat meningkatkan kemampuan analitis
dalam pemecahan masalah dan pengambilan keputusan.

1.4 Manfaat

Makalah ini membantu pembaca memahami dasar-dasar logika, termasuk bagaimana

pernyataan logika dievaluasi dan bagaimana operasi logika diterapkan. Hal ini akan
meningkatkan kemampuan pembaca untuk berpikir secara logis.

2
 BAB 2

PEMBAHASAN

2.1 Elemen Elemen Utama Tabel Kebenaran

Tabel kebenaran adalah alat yang digunakan dalam logika matematika untuk menampilkan
semua kemungkinan nilai kebenaran dari sebuah pernyataan logika atau kombinasi pernyataan logika.
Ini membantu dalam memahami bagaimana nilai kebenaran pernyataan-pernyataan tersebut
berinteraksi satu sama lain dan bagaimana hasilnya dapat dihitung berdasarkan nilai kebenaran
mereka. Dalam tabel kebenaran, setiap baris mewakili satu kombinasi nilai kebenaran dari pernyataan
atau variabel logika yang dianalisis, dan setiap kolom mewakili pernyataan-pernyataan tersebut
beserta hasil operasi-operasi logika yang digunakan untuk menggabungkannya.

2.1.1 Variabel Logika

pernyataan atau variabel yang dianalisis dalam konteks logika. Variabel logika dapat
memiliki dua nilai kebenaran, yaitu True (Benar) atau False (Salah).

2.1.2 Operasi Logika

Tabel kebenaran dapat mencakup operasi-operasi logika seperti AND (konjungsi),

OR (disjungsi), NOT (negasi), XOR (eksklusif OR), dan lainnya. Operasi ini
digunakan untuk menggabungkan atau memodifikasi nilai kebenaran variabel logika.

2.1.3 Hasil Operasi

Ini adalah hasil dari operasi-operasi logika yang diterapkan pada variabel logika yang
diberikan. Hasil ini juga memiliki nilai kebenaran, yaitu True atau False.

2.1.4 Baris

Setiap baris dalam tabel kebenaran mewakili satu kombinasi nilai kebenaran dari
variabel logika yang dianalisis. Sebagai contoh, jika ada dua variabel logika (A dan
B), maka akan ada empat baris dalam tabel kebenaran yang mencakup semua
kemungkinan kombinasi nilai kebenaran untuk kedua variabel tersebut (True/True,
True/False, False/True, dan False/False).

2.1.5 Kolom

Setiap kolom dalam tabel kebenaran mewakili satu pernyataan atau operasi logika
yang dianalisis. Kolom ini mencakup variabel logika awal dan hasil dari operasi-operasi
logika.

Tabel kebenaran sangat berguna dalam menganalisis pernyataan-pernyataan logika, menguji

implikasi antara pernyataan-pernyataan tersebut, dan merancang rangkaian logika digital. Dengan
tabel kebenaran, kita dapat dengan jelas melihat bagaimana perubahan dalam nilai kebenaran variabel
logika atau penggunaan operasi-operasi logika memengaruhi nilai kebenaran pernyataan keseluruhan.

3
Hal ini membantu dalam pemahaman yang lebih baik tentang hubungan logika dan pengambilan
keputusan yang berdasarkan logika.Sebagai penggabung tiap proposisi di butuhkan penghubung yang
disebut perangkai logika. Beberapa perangkai logika dasar dinyatakan pada tabel berikut:

Tabel 1. Perangkai Logika Dasar

Perangkai Simbol

Dan (and) Λ

Atau (or) v

Bukan (not) ¬

Jika...maka... (if...then...) →

Jika dan hanya jika (if and only if) ↔

Operasi-operasi logika ini membentuk dasar dari aljabar Boolean, yang digunakan dalam
perancangan rangkaian logika digital dan pemahaman logika matematika. Dengan memahami cara
operasi-operasi ini bekerja, kita dapat menganalisis pernyataan-pernyataan logika, merancang
rangkaian logika, dan membuat kesimpulan yang akurat dalam berbagai konteks logika.

2.2 Operasi - operasi Logika

Operasi-operasi logika adalah operasi matematika yang digunakan dalam logika matematika
untuk menggabungkan, memodifikasi, atau memeriksa nilai kebenaran dari pernyataan-pernyataan
logika. Operasi-operasi ini memungkinkan kita untuk melakukan analisis logika, membangun
rangkaian logika digital, dan membuat kesimpulan berdasarkan pernyataan-pernyataan logika. Berikut
adalah beberapa operasi logika yang umum digunakan:

​ 2.2.1 AND (Konjungsi)

● Simbol: ∧
● Deskripsi: Operasi AND menghasilkan True (Benar) hanya jika kedua pernyataan
yang dianalisis adalah True. Jika salah satu atau kedua pernyataan adalah False,
hasilnya adalah False.
● contoh : A = 3 adalah bilangan prima ganjil B = 2 adalah bilangan prima genap
A Λ B = 3 adalah bilangan prima ganjil dan 2 adalah bilangan prima genap.

Berikut kombinasi Tabel Kebenaran Konjungsi yang hanya akan bernilai true/benar
jika nilai kebenaran dari masing-masing A dan B adalah true/benar.

4
 Tabel 2. Kombinasi Tabel Kebenaran Konjungsi

p q p∧q

T T T

T F F

F T F

F F F

2.2.2 OR (Disjungsi)
● Simbol: ∨
● Deskripsi: Operasi OR menghasilkan True jika salah satu atau kedua pernyataan yang
dianalisis adalah True. Hanya jika kedua pernyataan adalah False, hasilnya adalah
False.
● Contoh: A = 11 merupakan bilangan prima
B =11 merupakan bilangan ganjil
A V B = 11 merupakan bilangan prima atau bilangan ganjil
Disjungsi dibedakan lagi atas:
1). Disjungsi Inklusif, A V B, memiliki nilai A atau B atau keduanya.
2). Disjungsi Eksklusif, A V B, memiliki arti A atau B, tapi tidak keduanya.
Berikut kombinasi tabel kebanaran Disjungsi yang hanya akan bernilai
false/salah jika nilai kebenaran dari masing-masing A dan B adalah
false/salah.

Tabel 3. Kombinasi Tabel Kebenaran Disjungsi.

p q pVq

T T T

T F T

F T T

F F F

​ 2.2.3 NOT (Negasi)

● Simbol: ¬
● Deskripsi: Operasi NOT mengubah nilai kebenaran sebuah pernyataan. Jika
pernyataan awalnya True, maka setelah diterapkan NOT, nilainya menjadi False, dan
sebaliknya.
● Contoh:
A = Saya lapar
¬A = Saya tidak lapar

5
 ● Berikut kombinasi Tabel Kebenaran Negasi dimana hanya akan bernilai benar jika
nilai Tabel Kebenaran dari A adalah false/salah.

Tabel 4. Kombinasi Tabel Kebenaran Negasi

p ¬p

T F

F T

​ 2.2.4 IMPLIKASI (→)

● Simbol: →
● Deskripsi: Operasi implikasi menghasilkan False hanya jika pernyataan pertama
adalah True dan pernyataan kedua adalah False. Untuk semua kombinasi lainnya,
hasilnya adalah True.
● Contoh :
A = Pak Ali adalah seorang Pastor
B = Pak Ali adalah seorang Kristiani
A → B = Jika Pak Ali adalah seorang Pastor, maka ia adalah seorang
Kristiani.

Berikut kombinasi Tabel Kebenaran Implikasi dimana hanya akan bernilai false/salah
jika nilai kebenaran dari A = T dan B= F.

Tabel 5. Kombinasi Tabel Kebenaran Implikasi

p q p→q

T T T

T F F

F T T

F F T

​ 2.2.5 BIIMPLIKASI (↔)

● Simbol: ↔
● Deskripsi: Operasi biimplikasi menghasilkan True jika kedua pernyataan memiliki
nilai kebenaran yang sama (keduanya True atau keduanya False). Jika nilai kebenaran
pernyataan berbeda, hasilnya adalah False.
● Contoh:
A = Dua garis saling berpotongan tegak lurus
B = Dua garis saling membentuk sudut 90 derajat

6
 A ↔ B = Dua garis saling berpotongan tegak lurus jika dan hanya jika kedua
garis itu saling membentuk sudut 90 derajat.

Berikut kombinasi Tabel Kebenaran Biimplikasi dimana hanya akan bernilai benar jika nilai
kebenaran dari A dan B sama.

Tabel 6. Kombinasi Tabel Kebenaran Biimplikasi

p q p↔q

T T T

T F F

F T F

F F T
Mari kita ubah kalimat presisi biimplikasi ini menjadi bentuk implikasi, konversi, inversi, dan
kontraposisi:
​ Implikasi (A → B):
● "Jika dua garis saling berpotongan tegak lurus, maka kedua garis itu saling
membentuk sudut 90 derajat."
​ Konversi (B → A):
● "Jika dua garis saling membentuk sudut 90 derajat, maka kedua garis itu saling
berpotongan tegak lurus."
​ Inversi (¬A → ¬B):
● "Jika dua garis tidak saling berpotongan tegak lurus, maka kedua garis itu tidak saling
membentuk sudut 90 derajat."
​ Kontraposisi (¬B → ¬A):
● "Jika dua garis tidak saling membentuk sudut 90 derajat, maka kedua garis itu tidak
saling berpotongan tegak lurus."

2.2.6 XOR (Eksklusif OR)

● Simbol: ⊕
● Deskripsi: Operasi XOR menghasilkan True jika hanya satu dari dua pernyataan yang
dianalisis adalah True. Jika keduanya True atau keduanya False, hasilnya adalah False
● Contoh : "Entah cuaca akan cerah atau hujan, tetapi tidak mungkin kedua kondisi
tersebut terjadi secara bersamaan."
Dalam kalimat tersebut, kita menggunakan premis XOR untuk
menggambarkan bahwa hanya salah satu dari dua kondisi yang mungkin (cerah atau
hujan) yang akan terjadi, tetapi tidak keduanya bersamaan

2.2.7 NAND (AND Negasi)

● Deskripsi: Operasi NAND adalah negasi dari operasi AND. Ini menghasilkan False
hanya jika kedua pernyataan adalah True. Untuk semua kombinasi lainnya, hasilnya
adalah True.
● Contoh :"Kami akan pergi ke pantai hanya jika cuaca cerah dan tidak ada hujan."

7
 Dalam kalimat ini, kedua kondisi (cuaca cerah dan tidak ada hujan) harus
terpenuhi agar pergi ke pantai terjadi. Namun, jika salah satu atau kedua kondisi
tersebut tidak terpenuhi (misalnya, jika ada hujan), maka tindakan pergi ke pantai
tidak akan terjadi.

2.2.8 NOR (OR Negasi)

● Deskripsi: Operasi NOR adalah negasi dari operasi OR. Ini menghasilkan True hanya
jika kedua pernyataan adalah False. Jika salah satu atau keduanya True, hasilnya
adalah False.
● Contoh : "Kami tidak akan bermain tenis jika cuaca buruk atau lapangan tenis sedang
dalam perbaikan."
Dalam kalimat ini, tindakan bermain tenis tidak akan terjadi jika cuaca buruk
atau lapangan tenis sedang dalam perbaikan. Dengan demikian, tidak ada satu pun
dari kedua kondisi tersebut yang harus terpenuhi agar bermain tenis dapat terjadi.

2.2.9 XNOR ( Ekslusif NOR )

● Premis XNOR (Eksklusif NOR) menggambarkan situasi di mana kedua kondisi
sama-sama terpenuhi atau kedua kondisi sama-sama tidak terpenuhi
● Contoh : "Kami akan merayakan ulang tahun Anda dengan makan malam jika Anda
datang atau jika Anda memiliki alasan yang sah untuk tidak datang."

Dalam kalimat ini, merayakan ulang tahun dengan makan malam akan terjadi
jika seseorang datang (kondisi pertama terpenuhi) atau jika seseorang memiliki alasan
yang sah untuk tidak datang (kondisi kedua terpenuhi). Jadi, baik keduanya datang
dan alasan yang sah untuk tidak datang akan menghasilkan perayaan ulang tahun.

2.2.10 Soal
q jika p :
“Anda tidak dapat terdaftar sebagai pemilih dalam Pemilu jika anda berusia
di bawah 17 tahun kecuali kalau anda sudah menikah”

p, maka q

“Jika anda berusia di bawah 17 tahun, kecuali kalau anda sudah menikah,
maka anda tidak dapat terdaftar sebagai pemilih dalam Pemilu”

m : Anda berusia di bawah 17 tahun.

n : Anda sudah menikah.
r : Anda dapat terdaftar sebagai pemilih dalam Pemilu.
maka pernyataan di atas dapat ditulis sebagai:
(m ~ n) ~ r

8
2.3 Penarikan Kesimpulan Kaidah Kaidah Logika.

Penarikan Kesimpulan adalah proses dalam logika di mana seseorang mencapai suatu
kesimpulan atau hasil berdasarkan informasi atau premis yang telah diberikan. Kaidah-kaidah logika
adalah aturan atau prinsip-prinsip yang digunakan untuk memastikan bahwa penarikan kesimpulan
tersebut valid dan dapat dipercaya. Kaidah-kaidah logika membantu memastikan bahwa kesimpulan
yang diambil dari premis-premis yang diberikan adalah benar atau setidaknya memiliki dasar yang
kuat.

Ada beberapa kaidah logika yang berperan penting dalam proses penarikan kesimpulan, di
antaranya:

2.3.1 Modus Ponens

Modus Ponens: Kaidah ini mengatakan bahwa jika Anda memiliki sebuah pernyataan "jika A,
maka B" (A adalah premis dan B adalah kesimpulan), dan A adalah kenyataan, maka Anda dapat
menyimpulkan bahwa B adalah kenyataan.
​
Contoh:
Pernyataan: Jika hujan, maka tanah basah.
Fakta: Hujan.
Kesimpulan: Tanah basah.

2.3.2 Modus Tollens

Modus Tollens: Kaidah ini berlawanan dengan Modus Ponens.
Jika Anda memiliki pernyataan "jika A, maka B" dan B adalah kenyataan salah, maka Anda
dapat menyimpulkan bahwa A juga salah.

Contoh:
Pernyataan : Jika hujan, maka tanah basah.
Fakta : Tanah tidak basah.
Kesimpulan : Tidak ada hujan.

2.3.3 Silogisme
Silogisme adalah bentuk penarikan kesimpulan yang melibatkan dua pernyataan premis dan
satu kesimpulan. Silogisme Hipotesis dan Silogisme Disjungsi adalah dua bentuk khusus dari
silogisme dalam logika :

Silogisme Hipotesis: Silogisme hipotesis adalah jenis silogisme di mana salah satu premisnya
adalah sebuah hipotesis atau sebuah kondisi yang bersyarat. Dalam silogisme ini, kita
mengasumsikan bahwa kondisi tertentu terpenuhi, kemudian kita menarik kesimpulan
berdasarkan asumsi tersebut.

Contoh Silogisme Hipotesis:

Pernyataan 1 : Jika hari hujan, maka jalanan basah.
Pernyataan 2 : Hari ini adalah hari hujan.

9
 Kesimpulan : Jalanan basah.
Di sini, kita mengasumsikan bahwa "hari ini adalah hari hujan" dan kemudian menarik
kesimpulan bahwa "jalanan basah."

Silogisme Disjungsi: Silogisme disjungsi melibatkan penggunaan operator logika

disjungsi (atau) dalam salah satu premisnya. Dalam silogisme ini, kita mempertimbangkan
dua atau lebih kemungkinan atau alternatif, kemudian menarik kesimpulan berdasarkan salah
satu dari kemungkinan tersebut.

Contoh Silogisme Disjungsi:

Pernyataan 1 : Pagi ini, saya akan pergi berenang atau bersepeda.
Pernyataan 2 : Saya tidak akan pergi berenang.
Kesimpulan : Saya akan pergi bersepeda.

Di sini, kita memiliki dua kemungkinan, yaitu "pergi berenang" atau "pergi bersepeda."
Karena premis kedua menyatakan bahwa "saya tidak akan pergi berenang," maka kesimpulan
adalah "saya akan pergi bersepeda."

Silogisme hipotesis dan silogisme disjungsi adalah contoh-contoh khusus dari silogisme yang
menggambarkan situasi di mana kita harus mempertimbangkan kondisi khusus atau alternatif untuk
mencapai kesimpulan. Mereka membantu dalam memahami logika argumen yang lebih kompleks dan
merinci asumsi-asumsi yang mendasarinya.

2.3.4 Penambatan Disjungsi

Penambahan disjungsi dalam konteks kaidah-kaidah penarikan kesimpulan bisa menjadi cara
yang berguna untuk merumuskan argumen atau kesimpulan yang lebih fleksibel.Didasarkan pada
fakta bahwa jika suatu kalimat dapat digeneralisasikan dengan penghubung “v”, maka kalimat
tersebut akan bernilai benar jika salah satu komponennya bernilai benar.

Contoh Penambatan Disjungsi :

Pernyataan 1 : Saya suka jambu.
Pernyataan 2 : Saya suka nanas.
Kesimpulan : Saya suka jambu atau nanas.

2.3.5 Konjungsi
Konjungsi adalah salah satu operator logika yang digunakan dalam penarikan kesimpulan dan
kaidah-kaidah logika.Jika ada 2 kalimat yang masing-masing benar, maka gabungan kedua kalimat
tersebut dengan menggunakan penghubung “Λ” (Konjungsi) juga bernilai benar

Contoh Penambatan Disjungsi :

Pernyataan 1 : Alfri mengambil Kuliah fisika dasar (p)
Pernyataan 2 : Alfri mengulang Kuliah logika (q)
Kesimpulan : kyy mengambil kuliah fisika dasar dan mengulang kuliah logika (p Λ q)

10
2.3.6 Penyederhanaan Konjungsi
Penyederhanaan konjungsi adalah salah satu kaidah penarikan kesimpulan yang digunakan
dalam logika untuk menyederhanakan atau menggabungkan dua pernyataan konjungsi menjadi satu
pernyataan yang lebih sederhana. Kaidah ini berguna untuk mempermudah analisis dan penarikan
kesimpulan dalam argumen yang melibatkan pernyataan-pernyataan konjungsi. Kaidah ini juga
disebut sebagai hukum distribusi konjungsi.

Kaidah penyederhanaan konjungsi dapat dijelaskan sebagai berikut:

Jika Anda memiliki dua pernyataan konjungsi (A ^ B) dalam suatu argumen, maka Anda
dapat menyederhanakan pernyataan ini menjadi A jika Anda tahu bahwa A adalah benar. Dengan kata
lain, jika salah satu pernyataan dalam konjungsi adalah salah, maka keseluruhan konjungsi adalah
salah.

Contoh:
Pernyataan 1: Hari ini adalah hari Senin.
Pernyataan 2: Hari ini adalah hari yang cerah.

Jika kita ingin menggabungkan kedua pernyataan ini dalam sebuah konjungsi, kita dapat
menggunakan kaidah penyederhanaan konjungsi:

Pernyataan 1: (Hari ini adalah hari Senin) ^ (Hari ini adalah hari yang cerah).

Namun, jika kita tahu bahwa pernyataan 2 adalah salah (misalnya, hari ini hujan), maka
keseluruhan konjungsi juga menjadi salah:

Pernyataan 1: (Hari ini adalah hari Senin) ^ (Hari ini adalah hari yang cerah).
Pernyataan 2: Hari ini hujan.
Kesimpulan: Pernyataan 1 menjadi salah karena salah satu dari konjungsi tersebut adalah
salah.

Kaidah penyederhanaan konjungsi membantu dalam memudahkan analisis argumen dan

memahami bahwa jika salah satu bagian dari suatu konjungsi adalah salah, maka konjungsi
keseluruhan juga dianggap salah. Hal ini berguna dalam konteks penarikan kesimpulan dan evaluasi
argumen yang melibatkan pernyataan-pernyataan konjungsi.

2.3.7 Dilema
Dalam konteks penarikan kesimpulan logika, istilah "dilema" merujuk pada dua jenis
argumen logika yang melibatkan pilihan sulit atau konflik antara dua alternatif yang tidak diinginkan.

p : Adi mengajak saya nonton

q : Adi mengajak saya makan di restoran
r : Saya akan senang
jadi :
- Nanti malam Adi mengajak saya nonton atau mengajak saya makan di restoran (p V q)
- Jika Adi mengajak saya nonton, maka saya akan senang (p → r)

11
- Jika Adi mengajak saya makan di restoran, maka saya akan senang (q → r)
Disimpulkan: Nanti malam saya akan senang (r)

Tabel 7. Kaidah Kaidah Inferensi

Soal 1.
- Pada suatu hari, Anda hendak pergi ke kampus dan baru sadar bahwa Anda tidak
memakai kacamata. Setelah mengingat-ingat, ada beberapa fakta yang Anda pastikan
kebenarannya :

12
 ○ Jika kacamataku ada di meja dapur, maka aku pasti sudah melihatnya ketika
sarapan pagi. (p → q)
○ Aku membaca koran di ruang tamu atau aku membacanya di dapur. (r v s)
○ Jika aku membaca koran di ruang tamu, maka pastilah kacamata kuletakkan
di meja tamu. (r → t)
○ Aku tidak melihat kacamataku pada waktu sarapan pagi. (¬q)
○ Jika aku membaca buku di ranjang, maka kacamata kuletakkan di meja
samping ranjang. (u →w)
○ Jika aku membaca koran di dapur, maka kacamataku ada di meja dapur. (s →
p)

Berdasarkan fakta-fakta tersebut, buktikan/tunjukkan bahwa kacamata tertinggal di atas meja

tamu!

Penyelesaian Soal 1.
Untuk memudahkan pemahaman dan penggunaan hukum-hukum inferensi, maka kalimat-kalimat
tersebut terlebih dulu dinyatakan dalam simbol-simbol logika.
Misal :
p : Kacamataku ada di meja dapur
q : Aku melihat kacamataku ketika sarapan pagi
r : Aku membaca koran di ruang tamu
s : Aku membacan koran di dapur
t : Kacamata kuletakkan di meja tamu
u : Aku membaca buku di ranjang
w : Kacamata kuletakkan di di meja samping ranjang

Dengan simbol-simbol tersebut maka fakta-

fakta di atas dapat ditulis sebagai berikut :
1. p => q
2. rvs
3. r => t
4. -q
5. u => w
6. s => p
Inferensi yang dapat dilakukan adalah
sebagai berikut :

Kesimpulan : Kacamata ada di meja tamu

13
 Soal 2

Buktikan kevalidan argumen berikut dengan menggunakan prinsip-prinsip inferensi!

pΛq
一一一一一一一一一一
(p V q) → r
ஃ r

14
 BAB 3

PENUTUP

3.1 Simpulan

Tabel kebenaran adalah alat penting dalam logika matematika yang digunakan untuk
menampilkan semua kemungkinan nilai kebenaran dari pernyataan logika atau kombinasi pernyataan
logika. Tabel kebenaran membantu kita memahami hubungan antara pernyataan-pernyataan logika
dan bagaimana nilai kebenaran mereka memengaruhi hasil keseluruhan.

3.2 Saran

Gunakan pengetahuan yang Anda peroleh dari makalah ini dalam konteks praktis. Cobalah
menerapkan tabel kebenaran dalam pemecahan masalah sehari-hari atau dalam proyek-proyek yang
melibatkan logika, seperti pemrograman komputer atau desain rangkaian.

Makalah ini diharapkan dapat memberikan pemahaman yang lebih baik tentang konsep tabel
kebenaran dan operasi-operasi logika terkait kepada pembaca. Dengan pemahaman yang lebih baik,
pembaca akan dapat menerapkan konsep ini dalam pemecahan masalah sehari-hari dan dalam
berbagai disiplin ilmu.

15
 DAFTAR PUSTAKA

​
​ Rosen, Kenneth H. (2019). Discrete Mathematics and Its Applications. McGraw-Hill
Education.
​ Copi, Irving M., and Cohen, Carl (2005). Introduction to Logic. Pearson.
​ Johnsonbaugh, Richard (2017). Discrete Mathematics. Pearson.
​ Nisan, Noam, and Schocken, Shimon (2008). The Elements of Computing Systems: Building
a Modern Computer from First Principles. MIT Press.
​ Irving, J. B. (2010). Logic and Structure. Springer.
​ Kleene, Stephen Cole (2002). Mathematical Logic. Dover Publications.
​ Mendelson, Elliott (2010). Introduction to Mathematical Logic. CRC Press.
​ Boolos, George S., Burgess, John P., and Jeffrey, Richard C. (2002). Computability and
Logic. Cambridge University Press.
​ Enderton, Herbert B. (2001). A Mathematical Introduction to Logic. Harcourt Academic
Press.
​ Mendelson, Elliott (1997). Introduction to Formal Logic. Chapman & Hall/CRC

16