MAKALAH

KATA PENGHUBUNG LOGIS, PERNYATAAN MAJEMUK, DAN

TABEL KEBENARAN

Dosen Pengampu :
Nur Choiro Siregar, Ph. D.

DISUSUN OLEH:
ZAKY FARIS FATIN (23552010067)

PROGRAM STUDI INFORMATIKA

FAKULTAS TEKNIK
UNIVERSITAS MUHAMMADIYAH TANGERANG
2023
 DAFTAR ISI
DAFTAR ISI............................................................................................................................1
BAB I PENDAHULUAN........................................................................................................2
BAB II PEMBAHASAN.........................................................................................................3
1.1. Kata Penghubung Logis.....................................................................................................3
1.2. Pernyataan Majemuk.........................................................................................................4
1.3. Tabel Kebenaran................................................................................................................6
BAB III KESIMPULAN.........................................................................................................8
DAFTAR PUSTAKA..............................................................................................................9

1
 BAB I
PENDAHULUAN
Pemikiran logis merupakan dasar dari proses penalaran yang akurat dan pembentukan
argumentasi yang kuat. Untuk mengokohkan fondasi ini, terdapat tiga elemen kunci yang
memegang peran sentral: kata penghubung logis, pernyataan majemuk, dan tabel kebenaran .

Kata penghubung logis, dalam beragam bentuknya seperti konjungsi, preposisi, dan
adverbia, adalah komponen bahasa yang mengaitkan pernyataan atau gagasan. Mereka
memungkinkan kita untuk membentuk deretan argumen yang koheran dan padu. Di dalam
ranah logika proposisional, pemahaman yang mendalam terhadap kata penghubung logis
menjadi kunci dalam menilai kebenaran dari pernyataan yang kompleks.

Pernyataan majemuk adalah jenis pernyataan yang terdiri dari dua atau lebih pernyataan
tunggal yang dihubungkan oleh kata penghubung logis. Mereka memberi kemampuan untuk
menyusun argumentasi yang lebih kompleks dan menyeluruh. Pemahaman yang mendalam
mengenai struktur dan hubungan antar pernyataan dalam membentuk argumentasi yang solid
dan jelas.

Tabel kebenaran adalah instrumen yang sangat efisien dalam menilai kebenaran dari
pernyataan majemuk. Mereka menampilkan visualisasi yang jelas terhadap berbagai
kemungkinan nilai kebenaran yang dapat muncul dari kombinasi pernyataan tunggal. Dengan
menggunakan tabel kebenaran, kita dapat menguji validitas dan konsistensi dari argumentasi
yang kompleks.

Pentingnya memahami dan menguasai konsep-konsep ini tidak hanya terbatas pada
konteks akademik. Mereka memberikan dukungan terhadap kemampuan kita dalam
menafsirkan informasi, mengambil keputusan yang rasional, dan membangun argumentasi
yang persuasif dalam kehidupan sehari-hari.

Dalam makalah ini, kami akan menggali dengan mendalam peran dari masing-masing
elemen ini dalam pemikiran logis, sambil memberikan contoh aplikasi praktis untuk
mempertajam pemahaman. Dengan fondasi yang kokoh dalam kata penghubung logis,
pernyataan majemuk, dan tabel kebenaran, kita dapat menghadapi tantangan dalam pemikiran
logis dengan penuh keyakinan dan ketepatan.

2
 BAB II
PEMBAHASAN
1.1. Kata Penghubung Logis
Kata penghubung logis merupakan kata atau konjungsi yang menunjukkan hubungan
logis antara kalimat-kalimat, mempengaruhi struktur dan kejelasan komunikasi. Penggunaan
yang tepat dari kata penghubung logis penting untuk memastikan kejelasan dan kebenaran
dalam komunikasi, memungkinkan pesan yang disampaikan dapat diterima dengan baik oleh
pembaca atau pendengar. Contoh penerapannya terlihat dalam paragraf argumentasi, di mana
kata penghubung logis berperan dalam mengaitkan pernyataan dengan argumen yang
mendukungnya. Pilihan kata penghubung logis yang tepat dapat meningkatkan kekuatan
argumen dan meyakinkan pembaca tentang kebenaran dari pendapat yang disampaikan.

Konjungsi logis adalah sebuah operasi pada dua nilai logika, biasanya terkait dengan
dua proposisi. Hasilnya adalah nilai benar hanya jika kedua operand adalah benar. Operator ini
sering dilambangkan sebagai "dan" atau "&", dan merupakan operator kebenaran fungsional.
Simbol ∧ umum digunakan untuk merepresentasikan operator ini dan dianggap sebagai yang
paling umum dan kontemporer. Ketika diterapkan pada sekelompok operand, operasi "dan"
menghasilkan nilai benar jika setiap operand adalah benar, artinya A dan B harus keduanya
benar agar menjadi benar.

Ciri-ciri utama konjungsi logis meliputi:

- Nilai Kebenaran: Sebuah konjungsi dianggap benar hanya jika kedua operand benar.
- Simbol: Simbol untuk konjungsi adalah ∧, yang dapat diartikan sebagai "dan".
- Konjungsi: Dua pernyataan yang digabungkan oleh sebuah konjungsi disebut
konjungsi.
- Aturan: Pernyataan gabungan p ∧ q dikenal sebagai konjungsi dari p dan q. Ini hanya
benar jika kedua pernyataan komponennya benar; jika tidak, adalah salah.

Konjungsi logis mempengaruhi hubungan antara pernyataan dengan memerlukan

bahwa kedua pernyataan harus benar agar konjungsi tersebut sah. Dengan kata lain, kebenaran
satu pernyataan saja tidak cukup untuk memvalidasi konjungsi. Akibatnya, konjungsi
menetapkan kondisi yang lebih ketat pada hubungan antara pernyataan dibandingkan dengan
setiap pernyataan secara terpisah. Sebagai contoh, jika pernyataan A berarti "Hujan turun" dan
pernyataan B menyatakan "Saya berada di dalam ruangan", konjungsi "Hujan turun dan saya
berada di dalam ruangan" hanya benar jika kedua A dan B akurat. Jika tidak ada hujan, maka
konjungsi itu salah, meskipun saya berada di dalam ruangan. Demikian juga jika saya berada
di luar, konjungsi tetap salah, terlepas dari cuaca.

3
1.2. Pernyataan Majemuk
Sebuah pernyataan majemuk melibatkan penggabungan dua atau lebih pernyataan
individu untuk menciptakan pernyataan baru atau menyampaikan makna yang berbeda. Ini
melibatkan penggunaan istilah penghubung yang mengaitkan pernyataan-pernyataan tersebut.
Pernyataan majemuk ini digunakan untuk membentuk argumen yang rumit dan meyakinkan.
Dalam pernyataan majemuk, berbagai jenis istilah penghubung digunakan untuk
menghubungkan pernyataan-pernyataan individu, termasuk:

A. Konjungsi (∧)
Konjungsi diterapkan pada pernyataan majemuk yang terdiri dari dua pernyataan (p dan
q) yang dihubungkan dengan kata "dan". Keabsahan konjungsi hanya terjadi jika kedua
pernyataan benar. Konjungsi akan menjadi salah jika salah satu atau keduanya salah. Tabel
kebenaran konjungsi digunakan untuk menggambarkan kebenaran pernyataan.

Tabel kebenaran konjungsi:

Contoh:

Jika p diartikan sebagai "5 adalah bilangan prima" (pernyataan benar)

dan q diartikan sebagai "5 adalah bilangan ganjil" (pernyataan benar)

Maka p^q berarti "5 adalah bilangan prima dan ganjil" (pernyataan benar).

B. Disjungsi
Disjungsi adalah frasa majemuk yang menggunakan kata "atau" untuk menghubungkan
klausa, dan diwakili oleh simbol "V". Pernyataan dalam disjungsi akan dianggap benar jika
setidaknya satu dari klausa itu benar, dan akan dianggap salah hanya jika kedua-duanya salah.
4
Dengan kata lain, pernyataan hanya akan dianggap salah jika kedua klausa dalamnya salah.
Meskipun salah satu klausa bernilai salah, pernyataan tetap dianggap benar. Di bawah ini
adalah tabel kebenaran untuk disjungsi:

Contoh:

p: Paus adalah mamalia (pernyataan bernilai benar)

q: Paus adalah herbivora (pernyataan bernilai salah)

pVq: Paus adalah mamalia atau herbivora (pernyataan bernilai benar)

C. Biimplikasi
Biimplikasi merupakan jenis pernyataan majemuk yang dicirikan dengan penggunaan
frase "jika dan hanya jika". Dalam konteks pernyataan majemuk, biimplikasi direpresentasikan
dengan simbol "↔". Biimplikasi hanya akan dianggap benar apabila kedua pernyataan (p dan
q) keduanya benar atau keduanya salah. Biimplikasi akan dianggap salah jika salah satu dari
dua pernyataan bernilai salah. Dibawah ini adalah tabel kebenaran untuk biimplikasi:

Contoh:

p: 20 x 2 = 40 (pernyataan bernilai benar)

5
q: 40 adalah bilangan ganjil (pernyataan bernilai salah)

p<->q: 20 x 2 = 40 jika dan hanya jika 40 adalah bilangan ganjil (pernyataan bernilai salah).

1.3. Tabel Kebenaran

Tabel kebenaran adalah sebuah grafik matematika yang digunakan dalam logika,
khususnya terkait dengan aljabar Boolean, fungsi Boolean, dan kalkulus proposisional. Ini
menguraikan nilai-nilai fungsional dari ekspresi logis untuk setiap kombinasi nilai yang
diambil oleh variabel logis mereka. Secara khusus, tabel kebenaran berfungsi untuk
menunjukkan apakah suatu pernyataan proposisional benar untuk semua nilai input yang sah,
artinya itu logis benar.

Setiap tabel kebenaran memiliki kolom untuk setiap variabel input (misalnya, A dan
B), beserta kolom terakhir yang menampilkan semua hasil mungkin dari operasi logis yang
direpresentasikan oleh tabel tersebut (misalnya, A XOR B). Setiap baris dalam tabel kebenaran
mewakili susunan potensial dari variabel input (misalnya, A=benar, B=salah), beserta hasil dari
operasi untuk nilai-nilai tersebut.

Sebuah tabel kebenaran berfungsi sebagai representasi terstruktur yang menyajikan

semua kombinasi kemungkinan dari nilai kebenaran untuk variabel input dari fungsi Boolean
dan nilai output mereka yang sesuai. Fungsi f dari A ke F adalah relasi khusus, subset dari A×F,
yang berarti bahwa f dapat disajikan sebagai daftar pasangan input-output. Jelas, untuk fungsi
Boolean, keluarannya termasuk dalam himpunan biner, yaitu F = {0, 1}. Dalam kasus fungsi
Boolean n-ari, input berasal dari domain yang pada dasarnya adalah produk Kartesius dari
himpunan biner yang sesuai dengan variabel Boolean input. Misalnya untuk fungsi biner f(A,
B), domain dari f adalah A×B, yang dapat dicantumkan sebagai: A×B = {(A = 0, B = 0), (A =
0, B = 1), (A = 1, B = 0), (A = 1, B = 1)}. Setiap elemen dalam domain mewakili kombinasi
nilai input untuk variabel A dan B. Kombinasi-kombinasi ini sekarang dapat dipasangkan
dengan hasil dari fungsi yang sesuai dengan kombinasi tersebut, sehingga membentuk
himpunan pasangan input-output sebagai relasi khusus yang merupakan subset dari A×F.
Untuk suatu relasi dianggap sebagai fungsi, persyaratan khusus adalah bahwa setiap elemen
dari domain fungsi harus dihubungkan dengan satu dan hanya satu anggota dari kodomain.
Dengan demikian, fungsi f itu sendiri dapat disajikan sebagai: f = {((0, 0), f0), ((0, 1), f1), ((1,
0), f2), ((1, 1), f3)}, di mana f0, f1, f2, dan f3 adalah nilai-nilai Boolean 0 atau 1, sebagai
anggota dari kodomain {0, 1}, mewakili keluaran yang sesuai dengan anggota dari domain,
masing-masing. Alih-alih memberikan daftar (atau himpunan) seperti yang dijelaskan di atas,
tabel kebenaran kemudian menampilkan pasangan-pasangan input-output ini dalam format
tabel, di mana setiap baris sesuai dengan anggota dari domain dipasangkan dengan nilai
keluarannya yang sesuai, 0 atau 1. Tentu saja, untuk fungsi Boolean, tidak perlu mencantumkan
6
semua anggota dari domain dengan gambaran mereka di kodomain; kita hanya perlu
mencantumkan pemetaan yang mengaitkan anggota dengan "1", karena semua yang lain akan
secara otomatis diberi nilai "0" (mengarah pada ide minterm).

Ludwig Wittgenstein umumnya diakui sebagai pencetus dan pengembang tabel

kebenaran dalam karyanya Tractatus Logico-Philosophicus, yang diselesaikan pada tahun 1918
dan diterbitkan pada tahun 1921. Sistem seperti itu juga diusulkan secara independen pada
tahun 1921 oleh Emil Leon Post.

7
 BAB III
KESIMPULAN
Kata penghubung logis seperti "dan", "atau", "maka", dan "jika dan hanya jika"
digunakan untuk membentuk beberapa pernyataan tunggal menjadi satu pernyataan majemuk.
Pernyataan majemuk adalah kalimat yang dibentuk oleh dua pernyataan atau lebih, dan terdapat
kata hubung seperti "dan", "atau", "jika … maka", "jika dan hanya jika …", "meskipun", dan
"tetapi". Tabel kebenaran digunakan untuk menentukan nilai kebenaran dari pernyataan
majemuk. Dengan memahami konsep-konsep tersebut, kita dapat mengasah kemampuan
berpikir kritis dan rasional dalam menarik kesimpulan dari suatu keadaan atau kondisi tertentu.

8
 DAFTAR PUSTAKA

• Enderton, H. (2001). A Mathematical Introduction to Logic

https://www.academia.edu/35178244/Mathematical_Introduction_to_Logic_H
erbert_B_Enderton_pdf
• Rony Setiawan, (2021). Gerbang Logika dan Tabel Kebenaran
https://www.dicoding.com/blog/gerbang-logika-dan-tabel-kebenaran/
• Logical Conjuction. (2023). Wikipedia:
https://en.wikipedia.org/wiki/Logical_conjunction
• Al-Amin, Muhammad Irfan. (2022). Implikasi Adalah Bagian dari Pernyataan
Majemuk, Ini Penjelasannya
https://katadata.co.id/agung/berita/6293b0de888f9/implikasi-adalah-bagian-
dari-pernyataan-majemuk-ini-penjelasannya