Jurnal ini membahas tentang logika matematika. Logika matematika menggunakan bahasa matematika dengan lambang dan simbol. Terdapat pernyataan universal dan eksistensial, serta penggunaan kata 'dan', 'atau', dan 'tidak'. Hukum De Morgan digunakan untuk membuat negasi dari bentuk logika yang mengandung 'dan' dan 'atau'. Gerbang logika dalam komputer melambangkan operasi logika.
1. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
1
LOGIKA MATEMATIKA
Deni Solehudin
Nim. 530011582
Mahasiswa Pendidikan Matematika PPS online
UPBJJ UT Bandung
E-mail : deniptrl@gmail.com
Abstrak
Logika Matematika ialah logika yang menggunakan bahasa
Matematika, yaitu dengan menggunakan lambang-lambang atau
simbol-simbol. Pernyataan-pernyataan universal menyebutkan bahwa
semua anggota dari suatu himpunan memiliki sifat tertentu,
sedangkan pernyataan-pernyataan eksistensial menyebutkan bahwa
sekurang-kurangnya satu anggota dari suatu himpunan memiliki
suatu sifat tertentu. Kata-kata dan, atau, serta tidak sangatlah penting
dalam studi logika. Hukum-hukum De Morgan dapat digunakan untuk
membuat negasi dari bentuk-bentuk logis yang memuat dan serta
atau. Suatu bentuk argumen adalah tidak valid jika dan hanya jika
terdapat argumen-argumen di mana premis-premisnya benar dan
konklusinya salah. Kekeliruan Konvers, Kekeliruan Invers, dan
Induksi Tidak Berterima adalah bentuk-bentuk argumen yang tidak
valid.
Kata Kunci : Logika Matematika, Negasi, Konvers, Invers, Induksi
PENDAHULUAN
Untuk membangun sebuah fakta merupakan motivasi paling dasar
mengapa orang perlu membuktikan suatu pernyataan matematika, yaitu untuk
meyakinkan bahwa apa yang selama ini dianggap benar adalah memang benar.
Tidak dapat dipungkiri selama ini banyak kebenaran fakta di dalam matematika
hanya dipercaya begitu saja tanpa adanya kecurigaan terhadap kebenaran tersebut,
tidak berusaha membuktikan sendiri, termasuk fakta-fakta yang sangat sederhana.
Kita hanya menggunakan fakta tersebut karena sudah ada dalam, atau karena
sudah pernah disampaikan oleh guru kita. Memang tidak semua fakta matematika
yang dipelajari harus dipahami buktinya. Namun beberapa fakta sederhana pun
sering diabaikan pembuktiannya.
PEMBAHASAN
Pengertian Logika Matematika
Logika Matematika atau Logika Simbol ialah logika yang menggunakan
bahasa Matematika, yaitu dengan menggunakan lambang-lambang atau simbol-
simbol. Keuntungan atau kekuatan bahasa simbol adalah: ringkas,
univalent/bermakna tunggal, dan universal/dapat dipakai dimana-mana.
2. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
2
Pernyataan
Pernyataan adalah suatu kalimat yang mempunyai nilai benar atau salah,
tetapi tidak sekaligus benar dan salah. Benar diartikan ada kesesuaian antara apa
yang dinyatakan dengan keadaan yang sebenarnya. Perhatikan beberapa contoh
berikut!
1. Al-Quran adalah sumber hukum pertama umat Islam
2. 4 + 3 = 8
3. Rapikan tempat tidurmu!
Contoh nomor 1 bernilai benar, sedangkan contoh nomor 2 bernilai salah, dan
keduanya adalah pernyataan. Kalimat 3 di atas tidak mempunyai nilai benar atau
salah, sehingga bukan pernyataan. Frasa βuntuk semuaβ disebut kuantor dan
diwakili dalam logika oleh simbol β.
Definisi 1.1
Misalkan π suatu himpunan dan π(π₯) suatu sifat yang mungkin berlaku atau tidak
berlaku untuk sebarang anggota π₯ dari π. Suatu pernyataan universal adalah
berbentuk : Untuk semua π₯ dalam π, π(π₯)
Atau secara simbolis : β π₯ dalam π, π(π₯)
Suatu pernyataan universal adalah benar jika dan hanya jika π(π₯) benar untuk
setiap anggota π₯ dalam π; kalau tidak deikian, pernyatan itu salah.
Berikut ini ringkasan sifat-sifat dari pernyataan universal dan pernyataan
eksistensial.
pernyataan universal eksistensial
bentuk Untuk semua π₯ dalam π, π(π₯) Terdapat suatu π₯ dalam π
sedemikian hingga π(π₯)
kuantor Untuk semua Terdapat (ada)
simbol β β
benar Jika benar untuk semua nilai-
nilai π₯ dalam π
Jika benar untuk paling sedikit
satu nilai π₯ dalam π
Kata Hubung Kalimat
1) Ingkaran atau Negasi
Sebuah pernyataan mestilah benar atau salah. Setiap pernyataan memiliki negasi
(sangkalan) yang juga merupakan pernyataan.
Definisi 1.4
Ingkaran/Negasi dari suatu pernyataan π adalah suatu pernyataan, disebut tidak π,
yang jika benar, secara tepat menyebutkan apa yang salah bagi π.
Ingkaran dari suatu pernyataan π disajikan dengan lambang atau β π atau ~π, dan
dibaca: βtidak πβ. Bila peryataan π bernilai benar, maka ingkarannya bernilai
salah dan sebaliknya.
3. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
3
Contoh Soal :
Misalkan pernyataan adalah π : Tembakau yang mengandung nikotin.
Ingkaran penyataan π adalah ~ π : Tidak benar bahwa tembakau mengandung
nikotin.
Tabel Kebenaran untuk Negasi
π βΌ π
B
S
S
B
Dan dan Atau dan Hukum De Morgan
Di dalam matematika dan di dalam bahasa yang lazim, pernyataan-
pernyataan seringkali digabungkan dengan menggunakan kata-kata dan, atau,
tidak, baik ...ataupun, tidak ... ataupun.
Definisi 1.5
a. Kalimat π dan π adalah benar bila, dan hanya bila, π dan π kedua-duanya
benar.
b. Kalimat π atau π adalah benar dalam semua kasus kecuali bila π dan π kedua-
duanya salah.
Nilai-nilai kebenaran dalam definisi dan dan atau dirangkumkan dalam tabel
kebenaran berikut ini.
Tabel Kebenaran untuk dan Tabel Kebenaran untuk atau
π π π dan π π π π atau q
B
B
S
S
B
S
B
S
B
S
S
S
B
B
S
S
B
S
B
S
B
B
B
S
Jika dua bentuk logis memiliki nilai-nilai kebenaran yang sama untuk
semua substitusi pernyataan untuk variabel-variabel pernyataannya, maka kita
katakan bahwa dua bentuk tersebut ekuivalen logis. Simbol β‘ kadang-kadang
digunakan untuk melambangkan ekuivalensi logis. Sebagai contoh, βΌ (βΌ π) β‘ π.
Hukum De Morgan
Untuk semua pernyataan π dan π.
1. βΌ ( π πππ π) β‘ (βΌ π) ππ‘ππ’ (βΌ π)
2. βΌ ( π ππ‘ππ’ π) β‘ (βΌ π) πππ (βΌ π)
Untuk menghindari ambiguitas (kebergandaan-makna), untuk atau ekslusif kita
katakan baik a ataupun b tetapi tidak sekaligus kedua-duanya.
4. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
4
Jaringan Logika Komputer
Gerbang logika
Kabel input
Kabel output
Kabel input
Kabel-kabel input dan output membawa sinyal-sinyal listrik yang berada
dalam salah satu dari dua keadaan yang saling ekslusif. Dua keadaan itu sebagai
arus ON atau arus OFF. Demi kemudahan, kita sebut saja keadaan sinyal ini
sebagai 1 atau 0. Ini berkorespondensi, berturut-turut, dengan Benar dan Salah
dalam logika. Benar adalah 1 adalah ON; Salah adalah 0 adalah OFF.
Input Output
π π
1
1
0
0
1
0
1
0
0
1
1
1
Simbol gerbang tiga logika :
Perhatikan bahwa
a. Sinyal output gerbang TIDAK (atau, NOT) adalah 0 jika sinyal inputnya 1, dan
bahwa sinyal outputnya 1 jika sinyal inputnya 0;
b. Sinyal output gerbang DAN (atau, AND) adalah 1 jika kabel input p dan kabel
input q membawa sebuah sinyal 1. Jika tidak demikian, maka sinyal outputnya
adalah 0; dan
c. Sinyal output gerbang ATAU (atau, OR) adalah 1 jika kabel input p atau kabel
input q (atau kedua-duanya) membawa sebuah sinyal 1. Jika tidak demikian,
maka sinyal outputnya 0.
Pernyataan Jika-maka
Suatu pernyataan berbentuk π½πππ π ππππ π disebut pernyataan
kondisional/bersyarat, dilambangkan dengan βπ βΉ π", dan dibaca
5. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
5
"π ππππ¦ππππ’ππππ π. " Pernyataan p disebut hipotesis atau anteseden, dan
pernyataan q disebut konklusi atau konsekuen.
Jadi, dalam sebuah pernyataan kondisional yang benar, kita mungkin
mendapatkan nilai-nilai kebenaran berikut ini untuk anteseden dan konsekuen :
anteseden konsekuen
B B
S B
S S
Definisi 1.8
Misalkan π dan π mewakili pernyataan-pernyataan. Pernyataan kondisional π βΉ
π adalah
Salah bilamana π benar dan π salah
Benar dalam semua kasus lainnya.
Seperti halnya dengan π‘ππππ, πππ, dan ππ‘ππ’, definisi ini dapat dirangkum dalam
sebuah tabel kebenaran yang menunjukan nilai-nilai kebenaran untuk
ππππ π ππππ π yang berkorespondensi dengan semua pemberian nilai-nilai
kebenaran yang mungkin untuk π dan π.
Tabel Kebenaran untuk Pernyataan Kondisional
π π Jika π maka π
π β π
B
B
S
S
B
S
B
S
B
S
B
B
Teorema 1.3 (Negasi Pernyataan Kondisional Sederhana)
Negasi dari pernyataan kondisional jika p maka q adalah p dan (tidak q).
Dituliskan secara simbolis : βΌ ( π βΉ π) β‘ π dan (βΌ π)
Negasi dari suatu pernyataan kondisional bukan merupakan suatu pernyataan
kondisional lainnya, melainkan suatu pernyataan-dan.
Contoh
Tuliskan negasi dari pernyataan kondisional,
Jika Tino tinggal di Bandung, maka Tino tinggal di Jawa Barat.
Jawab
Misalkan p : Tino tinggal di Bandung, dan q : Tino tinggal di Jawa Barat.
Pernyataan yang diberikan itu adalah pernyataan kondisional berbentuk jika p
maka q. Oleh karena itu, negasinya berbentuk p dan (tidak q), atau Tino tinggal di
Bandung dan Tino tidak tinggal di Jawa Barat.
6. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
6
Teorema 1.4 (Negasi Pernyataan Kondisional Universal)
Misalkan S suatu himpunan dan misalkan p(x) dan q(x) pernyataan-pernyataan
yang mungkin berlaku atau tidak berlaku untuk elemen-elemen x dalam S. Negasi
dari
β π₯ πππππ π, ππππ π(π₯) ππππ π(π₯)
Adalah β π₯ πππππ π π πππππππππ βπππππ π( π₯) πππ π‘ππππ π(π₯)
Definisi 1.9
Kontrapositif dari π βΉ π πππππβ ~π βΉ ~π.
Kontrapositif dari β π₯ πππππ π, ππππ π( π₯) ππππ π( π₯) πππππβ
β π₯ πππππ π, ππππ ~π(π₯)ππππ ~π( π₯).
Tabel di bawah ini menunjukan bahwa nilai-nilai kebenaran dari pernyataan
kondisional π βΉ π dan kontrapositifnya ~π(π₯)ππππ ~π( π₯) adalah sama.
π π π βΉ π ~π ~π ~π βΉ ~π
B
B
S
S
B
S
B
S
B
S
B
B
S
B
S
B
S
S
B
B
B
S
B
B
Nilai-nilai kebenaran sama
Teorema 1.5 Kontrapositif
Suatu pernyataan kondisional dan kontrapositifnya adalah ekuivalen logis. Yaitu,
keduanya selalu memiliki nilai kebenaran yang sama.
Dengan mengambil negasi atau menukarkan anteseden dan konsekuen dari
suatu pernyataan kondisional, tetapi bukan melakukan keduanya sekaligus, dua
pernyataan kondisional lainnya dapat dimunculkan.
Definisi 1.10
Konvers dari π βΉ π adalah π βΉ π.
Konvers dari βπ₯ πππππ π, ππππ π( π₯) ππππ π( π₯) πππππβ βπ₯ πππππ π,
ππππ π( π₯) ππππ π( π₯).
Invers dari π βΉ π adalah ~π βΉ ~π.
Invers dari βπ₯ πππππ π, ππππ π( π₯) ππππ π( π₯) πππππβ βπ₯ πππππ π,
ππππ ~π( π₯) ππππ ~π( π₯).
Konvers dan invers mungkin tampak mirip dengan kontapositif, tetapi
tidak seperti kontapositif, baik konvers maupun invers tidak mesti memiliki nilai
kebenaran yang sama dengan nilai kebenaran dari pernyataan aslinya.
Argumen yang valid
Di dalam logika dan matematika, argumen tidak berarti perdebatan. Suatu
argumen adalah serangkaian pernyataan-pernyataan di mana seluruh
pernyataannya, kecuali yang terakhir, disebut premis-premis, sedangkan
7. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
7
pernyataan akhirnya itu disebut konklusi (kesimpulan). Pada umumnya, kata-kata
dengan demikian, atau sinonimnya, atau simbol ringkas β΄ (dibaca βdengan
demikianβ), ditulis tepat sebelum konklusi.
Teorema 1.6 (Modus Ponens atau Hukum Ketidakberpihakan)
Berikut ini bentuk-bentuk argumen yang valid :
Jika π maka π βπ₯, ππππ π( π₯), ππππ π(π₯)
π π( π), π’ππ‘π’π π π’ππ‘π’ π π‘πππ‘πππ‘π’
β΄ π β΄ π(π)
Bukti
Premis-premisnya adalah (π βΉ π) dan π. Untuk membuktikan Hukum
Ketidakberpihakan, kita harus menunjukan bahwa pernyataan kondisional
(( π βΉ π) πππ π) βΉ π
Adalah selalu benar. Karena semua baris dalam kolom bentuk itu benar, maka
argumen tersebut adalah valid.
premis-premis konklusi bentuk
π π π βΉ π p ( π βΉ π) πππ π π (( π βΉ π) πππ π) βΉ π
B
B
S
S
B
S
B
S
B
S
B
B
B
B
S
S
B
S
S
S
B
S
B
S
B
B
B
B
Teorema 1.7 (Hukum Transitifitas)
Berikut ini adalah bentuk-bentuk argumen yang valid :
Bentuk sederhana Bentuk universal
ππππ π ππππ π βπ₯, ππππ π( π₯), ππππ π(π₯)
π½πππ π ππππ π βπ₯, ππππ π( π₯), ππππ π(π₯)
β΄ ππππ π ππππ π β΄ βπ₯, ππππ π( π₯), ππππ π(π₯)
Teorema 1.8 (Modus Tollens atau Hukum Penalaran Tidak-langsung)
Berikut ini bentuk argumen yang valid :
Bentuk sederhana Bentuk universal
ππππ π ππππ π βπ₯, ππππ π( π₯), ππππ π(π₯)
π‘ππππ π π‘ππππ π( π) π’ππ‘π’π π πππ’πβ π π‘πππ‘πππ‘π’
β΄ π‘ππππ π β΄ π‘ππππ π(π)π’ππ‘π’π π ππ‘π’
Contoh
Misalkan premis (1) dan premis (2) adalah kedua-duanya benar.
(1) Jika Lisa sakit, maka dia demam.
(2) Lisa tidak demam.
Konklusi benar, apakah yang dapat Anda deduksi?
8. Jurnal Modul 1 Mata Kuliah :
Fondasi Dan Bukti Matematika
8
Jawab
Premis-premis di atas sesuai dengan bentuk premis-premis dari modus tollens.
Konklusi benar yang dapat Anda deduksi adalah Lisa tidak sakit.
KESIMPULAN
Belajar matematika dengan cara memahami bukti tidaklah mudah.
Dibutuhkan waktu untuk memahami matematika sebagai bahasa logika. Juga,
dibutuhkan wawasan matematika yang luas untuk belajar membuktikan fakta-
fakta yang lebih rumit. Di dalam bukti termuat nilai-nilai strategis yang dapat
melatih kita berpikir secara logis. Keindahan matematika juga banyak terdapat
pada harmonisasi penalaran-penalaran dalam bukti. Dengan memahami bukti kita
dapat mengikuti alur berpikir para ahli yang pertama kali menemukannya.
DAFTAR PUSTAKA
Julan H, 2007. Materi kuliah Logika Matematika, jurusan matematika FMIPA,
UAD, Yogyakarta.
Wahyudin. 2014. Fondasi dan Bukti Matematika. Edisi Ketiga. Tangerang
Selatan: Universitas Terbuka