PENGANTAR DASAR BERLOGIKA DALAM MATEMATIKA

UNIVERSITAS NEGERI JAKARTA

Syali Hayatinufus Ismail1, Fitriani Annoer2,Evelyn Vivian Alicia3

Dosen pengampu: Dr. Lukman El Hakim, S.Pd., M.Pd

Drs. Swida Purwanto, M.Pd
Email:lukman_hakim@unj.ac.id

Abstrak Tujuan dari penulisan artikel ini adalah untuk memenuhi tugas dari mata kuliah
Filsafat Matematika dan Ilmu Pengetahuan Alam. Artikel ini berisi penjelasan mengenai
pengertian dari logika,dasar-dasar logika,macam-macam logika,sejarah logika,dan kegunaan
logika,serta peran logika dalam berbagai bidang. Logika berasal dari kata Yunani kuno (logos)
yang berarti hasil pertimbangan akal pikiran yang diutarakan lewat kata dan dinyatakan dalam
bahasa. Logika adalah salah satu cabang filsafat. Sebagai ilmu, logika disebut dengan logike
episteme (Latin: logica scientia) atau ilmu logika (ilmu pengetahuan) yang mempelajari kecakapan
untuk berpikir secara lurus, tepat, dan teratur. Ilmu di sini mengacu pada kemampuan rasional
untuk mengetahui dan kecakapan mengacu pada kesanggupan akal budi untuk mewujudkan
pengetahuan ke dalam tindakan. Kata logis yang dipergunakan tersebut bisa juga diartikan dengan
masuk akal.
Kata kunci: Logika,Matematika,Filsafat

Abstract The purpose of writing this article is to fulfill the task of the Philosophy of Mathematics
and Natural Sciences course. This article contains an explanation of the meaning of logic, the
basics of logic, various types of logic, the history of logic, and the uses of logic, as well as the role
of logic in various fields. Logic comes from the ancient Greek word (logos) which means the
result of reasoning expressed through words and expressed in language. Logic is a branch of
philosophy. As a science, logic is called logike episteme (Latin: logica scientia) or the science of
logic that is studied to learn straight, precise, and regularly. Science here refers to the rational
ability to know and refers to the ability of the mind to put knowledge into action. The logical word
used can also be interpreted with sense.
Keywords: Logic, Mathematics, Philosophy

PENDAHULUAN memperhatikan kebenaran dan

Logika adalah dasar dan alat berpikir yang kesalahan dari penalaran, dan
logis dalam matematika dan pelajaran- penarikan kesimpulan dari sebuah
pelajaran lainnya, sehingga dapat membantu pernyataan atau lebih.
dan memberikan bekal tambahan untuk
menyampaikan pelajaran di sekolah. Dalam Logika matematika adalah cabang
Logika dipelajari metode-metode dan logika dan matematika yang
prinsip-prinsip yang dapat dipakai untuk mengandung kajian matematis logika
membedakan cara berpikir benar (correct) dan aplikasi kajian ini pada bidang-
atau tidak benar (incorrect), sehingga dapat bidang lain di luar matematika.
Logika matematika berhubungan erat
membantu menyatakan ide-ide tepat dan dengan ilmu komputer dan logika
tidak mempunyai arti ganda. Jadi, dalam ilmu filosofis. Tema utama dalam logika
logika hanya mempelajari atau matematika antara lain adalah
1
kekuatan ekspresif dari logika formal dan
kekuatan deduktif dari sistem pembuktian
formal.
Logika matematika sering dibagi ke dalam
cabang-cabang dari teori himpunan, teori
model, teori rekursi, teori pembuktian, serta
matematika konstruktif. Bidang-bidang ini
memiliki hasil dasar logika yang serupa.
Melalui logika kita dapat mengetahui
kebenaran suatu pernyataan dari suatu
kalimat dan mengetahui apakah pernyataan
pertama sama maknanya dengan pernyataan
kedua. Misalkan, apakah pernyataan “Jika
sekarang adalah hari Minggu maka sekolah
libur.” sama artinya dengan “Jika sekolah
libur maka sekarang adalah hari Minggu.”?
Untuk menjawab pertanyaan ini tentu kita
perlu mengetahui aturan-aturan dalam logika.
Banyak hal yang perlu kita ketahui mengenai
logika. Dengan logika, kita juga dapat
mengetahui apakah suatu pernyataan bernilai
benar atau salah. Hal terpenting yang akan
didapatkan setelah mempelajari logika
matematika adalah kemampuan atau keahlian
mengambil kesimpulan dengan benar atau
sah. Logika matematika memberikan dasar
bagi sebuah pengambilan kesimpulan dan
dapat digunakan dalam banyak aspek
kehidupan.
PEMBAHASAN
Logika berasal dari kata Yunani kuno λόγος
(logos) yang berarti hasil pertimbangan akal
pikiran yang diutarakan lewat kata dan
dinyatakan dalam bahasa. Logika adalah
salah satu cabang filsafat. Sebagai ilmu,
logika disebut dengan logike episteme (Latin:
logica scientia) atau ilmu logika (ilmu
pengetahuan) yang mempelajari kecakapan
untuk berpikir secara lurus, tepat, dan teratur.
Ilmu di sini mengacu pada kemampuan
rasional untuk mengetahui dan kecakapan
mengacu pada kesanggupan akal budi untuk
mewujudkan pengetahuan ke dalam tindakan.
Kata logis yang dipergunakan tersebut bisa
juga diartikan dengan masuk akal.
2
➢ Logika sebagai ilmu pengetahuan
Logika merupakan sebuah ilmu
pengetahuan di mana obyek
materialnya adalah berpikir
(khususnya penalaran/proses
penalaran) dan obyek formal logika
adalah berpikir/penalaran yang
ditinjau dari segi ketepatannya.
➢ Logika sebagai cabang filsafat
Logika adalah sebuah cabang filsafat
yang praktis. Praktis di sini berarti
logika dapat dipraktekkan dalam
kehidupan sehari-hari. Logika lahir
bersama-sama dengan lahirnya filsafat
di Yunani. Dalam usaha untuk
memasarkan pikiran-pikirannya serta
pendapat-pendapatnya, filsuf-filsuf
Yunani kuno tidak jarang mencoba
membantah pikiran yang lain dengan
menunjukkan kesesatan penalarannya.
Logika digunakan untuk melakukan
pembuktian. Logika mengatakan yang
bentuk inferensi yang berlaku dan
yang tidak. Secara tradisional, logika
dipelajari sebagai cabang filosofi,
tetapi juga bisa dianggap sebagai
cabang matematika. logika tidak bisa
dihindarkan dalam proses hidup
mencari kebenaran
➢ Dasar-dasar Logika
Konsep bentuk logis adalah inti dari
logika. Konsep itu menyatakan bahwa
kesasihan (validitas) sebuah argumen
ditentukan oleh bentuk logisnya,
bukan oleh isinya. Dalam hal ini
logika menjadi alat untuk
menganalisis argumen, yakni
hubungan antara kesimpulan dan
bukti atau bukti-bukti yang diberikan
(premis). Logika silogistik tradisional
Aristoteles dan logika simbolik
modern adalah contoh-contoh dari
logika formal.
Dasar penalaran dalam logika ada
dua, yakni deduktif dan induktif.
● Penalaran Deduktif ➢ Sejarah Logika
Penalaran deduktif, kadang disebut logika Masa Yunani Kuno
deduktif adalah penalaran yang membangun Logika dimulai sejak Thales (624 SM
atau mengevaluasi argumen deduktif. - 548 SM), filsuf Yunani pertama
Argumen dinyatakan deduktif jika kebenaran yang meninggalkan segala dongeng,
dari kesimpulan ditarik atau merupakan takhayul, dan cerita-cerita isapan
konsekuensi logis dari premis-premisnya. jempol dan berpaling kepada akal
Argumen deduktif dinyatakan valid atau budi untuk memecahkan rahasia alam
tidak valid, bukan benar atau salah. Sebuah semesta.
argumen deduktif dinyatakan valid jika dan Thales mengatakan bahwa air adalah
hanya jika kesimpulannya merupakan arkhe (Yunani) yang berarti prinsip
konsekuensi logis dari premis-premisnya. atau asas utama alam semesta. Saat itu
Contoh argumen deduktif: Thales telah mengenalkan logika
1. Setiap mamalia punya sebuah induktif.
jantung Aristoteles kemudian mengenalkan
2. Semua kuda adalah mamalia logika sebagai ilmu, yang kemudian
3. ∴ Setiap kuda punya sebuah jantung disebut logica scientica. Aristoteles
mengatakan bahwa Thales menarik
● Penalaran Induktif kesimpulan bahwa air adalah arkhe
Penalaran induktif, kadang disebut logika alam semesta dengan alasan bahwa air
induktif—adalah penalaran yang berangkat adalah jiwa segala sesuatu.
dari serangkaian fakta-fakta khusus untuk Dalam logika Thales, air adalah arkhe
mencapai kesimpulan umum. alam semesta, yang menurut
Contoh argumen induktif: Aristoteles disimpulkan dari:
● Air adalah jiwa tumbuh-
1. Kuda Sumba punya sebuah jantung
tumbuhan (karena tanpa air
2. Kuda Australia punya sebuah jantung tumbuhan mati)
● Air adalah jiwa hewan dan jiwa
3. Kuda Amerika punya sebuah jantung
manusia
4. Kuda Inggris punya sebuah jantung ● Air jugalah uap
● Air jugalah es
5. ∴ Setiap kuda punya sebuah jantung
Tabel di bawah ini menunjukkan beberapa Jadi, air adalah jiwa dari segala
ciri utama yang membedakan penalaran sesuatu, yang berarti, air adalah arkhe
induktif dan deduktif. alam semesta.
Sejak saat Thales sang filsuf
Deduktif Induktif mengenalkan pernyataannya, logika
Jika semua premis Jika premis benar, telah mulai dikembangkan. Kaum
benar maka kesimpulan mungkin Sofis beserta Plato (427 SM - 347
kesimpulan pasti benar benar, tapi tak pasti SM) juga telah merintis dan
benar. memberikan saran-saran dalam bidang
ini.
Semua informasi atau Kesimpulan memuat Pada masa Aristoteles logika masih
fakta pada kesimpulan informasi yang tak ada, disebut dengan analitica , yang secara
sudah ada, bahkan secara implisit, khusus meneliti berbagai argumentasii
sekurangnya secara dalam premis. yang berangkat dari proposisii yang
implisit, dalam premis. benar, dan dialektika yang secara
khusus meneliti argumentasi yang
3
berangkat dari proposisi yang masih
diragukan kebenarannya. Inti dari logika
Aristoteles adalah silogisme.
Buku Aristoteles to Oraganon (alat)
berjumlah enam, yaitu:
1. Categoriae menguraikan pengertian-
pengertian
2. De interpretatione tentang keputusan-
keputusan
3. Analytica Posteriora tentang
pembuktian.
4. Analytica Priora tentang silogisme.
5. Topica tentang argumentasi dan metode
berdebat.
6. De sohisticis elenchis tentang kesesatan
dan kekeliruan berpikir.
Pada 370 SM - 288 SM Theoprastus, murid
Aristoteles yang menjadi pemimpin Lyceum,
melanjutkan pengembangn logika.
Istilah logika untuk pertama kalinya
dikenalkan oleh Zeno dari Citium 334 SM -
226 SM pelopor Kaum Stoa. Sistematisasi
logika terjadi pada masa Galenus (130 SM -
201 SM) dan Sextus Empiricus 200 M, dua
orang dokter medis yang mengembangkan
logika dengan menerapkan metode geometri.
Porohyus (232-305) membuat suatu
pengantar (eisagoge) pada Categoriae, salah
satu buku Aristoteles.
Boethius (480-524) menerjemahkan Eisagoge
Porphyrius ke dalam bahasa Latin dan
menambahkan komentar- komentarnya.
Johanes Damascenus (674 - 749)
menerbitkan Fons Scienteae.
Abad pertengahan dan logika modern
Pada abad 9 hingga abad 15, buku-buku
Aristoteles seperti De Interpretatione,
Eisagoge oleh Porphyus dan karya Boethius
masih digunakan.
Thomas Aquinas 1224-1274 dan kawan-
kawannya berusaha mengadakan
sistematisasi logika.
Lahirlah logika modern dengan tokoh-tokoh
seperti:
● Petrus Hispanus (1210 - 1278)
● Roger Bacon (1214-1292)
4
● Raymundus Lullus (1232 -
1315) yang menemukan metode
logika baru yang dinamakan
Ars Magna, yang merupakan
semacam aljabar pengertian.
● William Ocham (1295 - 1349)
Pengembangan dan penggunaan
logika Aristoteles secara murni
diteruskan oleh Thomas Hobbes
(1588 - 1679) dengan karyanya
Leviatan dan John Locke (1632-1704)
dalam An Essay Concerning Human
Understanding
Francis Bacon (1561 - 1626)
mengembangkan logika induktif yang
diperkenalkan dalam bukunya Novum
Organum Scientiarum.
J.S. Mills (1806 - 1873) melanjutkan
logika yang menekankan pada
pemikiran induksi dalam bukunya
System of Logic
Lalu logika diperkaya dengan
hadirnya pelopor-pelopor logika
simbolik seperti:
● Gottfried Wilhelm Leibniz
(1646-1716) menyusun logika
aljabar berdasarkan Ars Magna
dari Raymundus Lullus. Logika
ini bertujuan menyederhanakan
pekerjaan akal budi dan lebih
mempertajam kepastian.
● George Boole (1815-1864)
● John Venn (1834-1923)
● Gottlob Frege (1848 - 1925)
Lalu Chares Sanders Peirce (1839-
1914), seorang filsuf Amerika Serikat
yang pernah mengajar di John
Hopkins University,melengkapi
logika simbolik dengan karya-karya
tulisnya. Ia memperkenalkan dalil
Peirce (Peirce's Law) yang
menafsirkan logika selaku teori umum
mengenai tanda (general theory of
signs)
Puncak kejayaan logika simbolik
terjadi pada tahun 1910-1913 dengan
terbitnya Principia Mathematica tiga
jilid yang merupakan karya bersama
 Alfred North Whitehead (1861 - 1914) dan maka akan meningkatkan citra
Bertrand Arthur William Russel (1872 - diri seseorang.
1970). ➢ Macam-macam logika
Logika simbolik lalu diteruskan oleh Ludwig ● Logika alamiah
Wittgenstein (1889-1951), Rudolf Carnap Logika alamiah adalah kinerja akal
(1891-1970), Kurt Godel (1906-1978), dan budi manusia yang berpikir secara
lain-lain. tepat dan lurus sebelum dipengaruhi
➢ Logika sebagai matematika murni oleh keinginan-keinginan dan
Logika masuk ke dalam kategori matematika kecenderungan-kecenderungan yang
murni karena matematika adalah logika yang subyektif. Kemampuan logika
tersistematisasi. Matematika adalah alamiah manusia ada sejak lahir.
pendekatan logika kepada metode ilmu ukur Logika ini bisa dipelajari dengan
yang menggunakan tanda-tanda atau simbol- memberi contoh penerapan dalam
simbol matematik (logika simbolik). Logika kehidupan nyata.
tersistematisasi dikenalkan oleh dua orang ● Logika ilmiah
dokter medis, Galenus (130-201 M) dan Logika ilmiah memperhalus,
Sextus Empiricus (sekitar 200 M) yang mempertajam pikiran, serta akal budi.
mengembangkan logika dengan menerapkan Logika ilmiah menjadi ilmu khusus
metode geometri. yang merumuskan azas-azas yang
Puncak logika simbolik terjadi pada tahun harus ditepati dalam setiap pemikiran.
1910-1913 dengan terbitnya Principia Berkat pertolongan logika ilmiah
Mathematica tiga jilid yang merupakan karya inilah akal budi dapat bekerja dengan
bersama Alfred North Whitehead (1861 - lebih tepat, lebih teliti, lebih mudah,
1914) dan Bertrand Arthur William Russel dan lebih aman. Logika ilmiah
(1872 - 1970). dimaksudkan untuk menghindarkan
➢ Kegunaan logika kesesatan atau, paling tidak,
1. Membantu setiap orang yang dikurangi.
mempelajari logika untuk berpikir secara
➢ LOGIKA MATEMATIKA
rasional, kritis, lurus, tetap, tertib, Logika matematika adalah cabang
metodis dan koheren. ilmu matematika yang mempelajari
2. Meningkatkan kemampuan berpikir tentang cara menentukan nilai
secara abstrak, cermat, dan objektif. kebenaran suatu pernyataan dan cara
3. Menambah kecerdasan dan menarik kesimpulan dari beberapa
meningkatkan kemampuan berpikir pernyataan yang diberikan.
secara tajam dan mandiri.
4. Memaksa dan mendorong orang untuk • KALIMAT TERBUKA DAN
berpikir sendiri dengan menggunakan KALIMAT TERTUTUP
asas-asas sistematis 1. Kalimat Terbuka
5. Meningkatkan cinta akan kebenaran dan Kalimat terbuka adalah kalimat yang
menghindari kesalahan-kesalahan belum dapat ditentukan nilai
berpkir, kekeliruan, serta kesesatan. kebenarannya karena masih
6. Mampu melakukan analisis terhadap mengandung variabel atau pengganti.
suatu kejadian. Contoh : x + 5 = 9
7. Terhindar dari klenik , gugon-tuhon Dia anak yang cantik
( bahasa Jawa ) 2. Kalimat Tertutup
8. Apabila sudah mampu berpikir Kalimat tertutup adalah kalimat yang
rasional,kritis ,lurus,metodis dan analitis sudah dapat ditentukan nilai
sebagaimana tersebut pada butir pertama kebenarannya. Kalimat tertutup
5
 disebut juga pernyataan karena telah
memiliki nilai kebenaran (bisa benar atau
salah saja)
Contoh : 2 + 3 = 5
Besok hari jumat
Keterangan:
Suatu kalimat disebut “pernyataan” jika
kalimat tersebut dapat dinyatakan secara
jelas, tegas, dan dapat ditentukan nilai
kebenarannya secara pasti oleh semua orang
bukan sebagian orang saja.
• NOTASI DAN NILAI KEBENARAN
SUATU PERNYATAAN
Ø Dalam logika matematika, suatu
pernyataan dinotasikan dengan huruf kecil,
seperti : p, q, r, ... dst
Misalnya pernyataan “ 5 + 4 = 9 “ dan
pernyataan “ ikan bernapas dengan paru-paru
“ dapat dinotasikan berturut-turut sebagai
p:5+4=9
q : ikan bernapas dengan paru-paru
Ø Jika pernyataan itu bernilai “benar”
disimbolkan dengan B, dan jika “salah”
disimbolkan dengan S.
Setiap pernyataan adalah kalimat, tetapi tidak
semua kalimat adalah pernyataan. Pernyataan
adalah kalimat yang hanya benar saja atau
salah saja, tetapi tidak dapat sekailigus benar
atau salah. Kalimat yang dapat digolongkan
pernyataan adalah kalimat-kalimat yang
menerangkan sesuatu (disebut
kalimat deklaratif). Namun perlu diingat
bahwa tidak semua kalimat deklaratif itu
merupakan pernyataan.
Benar atau salah dari suatu pernyataan dapat
ditentukan memakai dasar empiris dan dasar
tak empiris.
1. Dasar empiris, yaitu menentukan benar
atau salah dari sebuah pernyataan
berdasarkan fakta yang ada atau
dijumpai dalam kehidupan sehari-hari.
2. Dasar tak empiris, yaitu menentukan
benar atau salah dari sebuah pernyataan
dengan memakai bukti atau
perhitungan-perhitungan dalam
matematika.
6
Kalimat terbuka adalah kalimat yang
memuat peubah/variabel, sehingga
belum dapat ditentukan nilai
kebenarannya (benar atau salah).
PENUTUP
KESIMPULAN
Berdasarkan uraian di atas, kami
dapat menyimpulkan bahwa ilmu
logika matematika bisa diterapkan
untuk membantu cabang ilmu
matematika lain dalam menyusun
kalimat matematika, lalu
membuktikan pernyataan-pernyataan
di dalamnya sehingga pernyataan
menjadi bersifat universal dan dapat
dipahami oleh matematikawan serta
pembelajar matematika di seluruh
penjuru dunia.
Selain itu, cabang ilmu logika
matematika juga turut membantu
umat manusia dalam mengasah alur
berpikir yang benar serta membentuk
suatu pemikiran yang sistematis dan
logis. Oleh karena itu, ketika
dihadapkan dengan sebuah masalah,
umat manusia diharapkan dapat
mengaplikasikan teori logika
matematika ini sehingga masalah
yang dihadapi bisa terselesaikan
secara rasional.
SARAN
Demikian makalah yang kami susun
ini, semoga memberi manfaat.
Apabila ada kritik dan saran yang
ingin disampaikan terkait isi makalah
ini, kami mempersilakan untuk
menghubungi salah satu anggota
kelompok kami. Kami memohon
maaf jika terdapat kesalahan dan
kekurangan dalam penyusunan
makalah ini.

UCAPAN TERIMAKASIH
Kami mengucapkan terima kasih
kepada Bapak Dr. Lukman El Hakim,
S.Pd., M.Pd yang telah membimbing
kami dalam penyusunan artikel
berjudul “Pengantar Dasar Berlogika
Dalam Matematika” yang disusun
dengan tujuan untuk memenuhi
tugas Mata Kuliah Filsafat
Matematika dan Ilmu Pengetahuan
Alam Semester
116 Program Studi Pendidikan
Matematika 2021. Kami ucapkan
juga terimakasih terhadap pihak
yang telah membantu dalam
penyusunan artikel ini.
DAFTAR PUSTAKA
Susanto. (2013, April 27).
Pernyataan,Nilai
Kebenaran,dan Kalimat
terbuka.
Retrieved from
https://sites.google.com/site/l
ogikamatematikaunsyiah/a-
pengantar
Ahmad.D. (2019). Keterkaitan antara
Ilmu Filsafat dan Logika
Retrieved from
https://eurekapendidikan.com
/keterkaitan-antara-ilmu-
filsafat-dan
Nico. (2016,April 28). Materi
Pengantar Logika Dasar
Berpikir
Retrieved from
https://fia.ub.ac.id/rsc/info-
kegiatan/materi-pengantar-
logika-dasar-berpikir.html