SEJARAH, PENGERTIAN DAN MACAM MACAM LOGIKA INFORMATIKA
Muhammad alif-22312074
Program Studi Informatika
Universitas Teknokrat
Indonesia Universitas Teknokrat Indonesia,Jl.ZA. Pagar Alam No 9-11,Labuhan Ratu,Kec. Kedaton,Bandar
Lampung,Lampung 35132
KATA PENGANTAR
Puji syukur kehadiran Tuhan Yang Maha Pengasih
Lagi Maha Penyayang, karena berkat Rahmat dan
Hidayat-Nya, saya bisa menyusun dan menyelesikan
makalah yang berisi tentang “Logika Informatika”
sebagai salah satu tugas mata pelajaran “Logika
Informatika”. Penulis juga mengucapkan terima kasih
kepada berbagai pihak yang telah memberikan
informasi yang sebagian besar di ambil dari buku-
buku materi tentang logika informatika dan buku
catatan penulis sendiri. Penulis juga menyadari
bahwa dalam penyusunan makalah masih terdapat
banyak kekurangan dan jauh dari kesempurnaan.
Oleh karna itu, penulis mengharapkan kritik serta
saran yang membangun guna menyempurnakan
makalah ini dan dapat menjadi acuan dalam
menyusun makalah-makalah atau tugas-tugas
selanjutnya. Penulis juga memohon maaf apabila
dalam penulisan makalah ini terdapat kesalahan
pengetikan dan kekeliruan sehingga membingungkan
pembaca dalam memahami maksud penulis.
1. SEJARAH LOGIKA INFORMATIKA
Filsafat dan matematika adalah bidang pengetahuan
rasional yang ada sejak dahulu. Jauh sebelum
matematika berkembang seperti sekarang ini dan
penerapannya menyentuh hampir seluruh bidang ilmu
pengetahuan modern, ilmuwan dan filosof yunani
telah mengembangkan dasar pemikiran ilmu geometri
dan logika. Sebut saja THALES (640-546 SM) yaitu
seorang ilmuwan geometri yang juga disebut sebagai
bapak filosofi dan penalaran deduktif. Ada juga ahli
matematika dan filosof PHYTAGORAS (572-497
SM) dengan dalil phytagorasnya yang terkenal yaitu
a2+b2=c2.
Sejarah Logika
❖ Thales (624 – 548 SM). Filsuf Yunani
pertama yang meninggalkan segala
dongeng, takhayul, dan cerita-cerita isapan
jempol dan berpaling kepada akal budi
untuk memecahkan rahasia alam semesta.
Thales mengatakan: air adalah arkhe
(Yunani) yang berarti prinsip atau asas
utama alam semesta. Thales telah
mengenalkan logika induktif.
❖ Aristoteles (384 – 332 SM) mengenalkan
logika sebagai ilmu. Aristoteles
mengatakan bahwa kesimpulan Thales
diperoleh dari alasan bahwa air adalah jiwa
segala sesuatu. Inti dari logika Aristoteles
adalah Silogisme. Istilah logika
diperkenalkan oleh Zeno (334 – 226 SM).
Selanjutnya perkembangan logika terus berkembang
dari masa ke masa.
❖ Augustus De Morgan (1806-1871), Induksi
Matematika, Hukum Ekuivalensi Logika
De Morgan.
❖ George Boole(1815-1871), Aljabar Boole.
❖ Giuseppe Peano (1858-1932), Penemu
istilah logika matematika dan teori
himpunan.
❖ Emil L Post(1897-1954), Tabel Kebenaran.
❖ Ludwig JJ Wittgenstein(1889-1951), Tabel
Kebenaran.
❖ John Venn(1834-1923), Diagram Venn.
❖ Henry M Sheffer(1882-1964), NAND,
NOR
2. PENGERTIAN LOGIKA INFORMATIKA
Logika Informatika adalah disiplin ilmu yang
mempelajari transformasi data maupun informasi
pada mesin berbasis komputasi dengan penalaran
sehingga didapat suatu kesimpulan atau konklusi.
Logika Informatika berasal dari bahasa Yunani yang
berarti “Logos”. Dalam bahasa Inggris biasa diartikan
dengan “Word”, “Speech” atau lebih biasa kita kenal
lagi dengan istilah “Thought” atau “Reason”. Oleh
karena itu definisi Logika ialah ilmu pengetahuan
yang mempelajari atau berkaitan dengan prinsip-
prinsip dari penalaran argument yang valid. Para ahli
setuju bahwa Logika adalah studi tentang kriteria-
kriteria untuk mengevaluasi argument-argumen
dengan menentukan mana argumen yang valid dan
membedakan antara argumen yang baik dan argumen
yang tidak baik. Semula logika dipelajari sebagai
salah satu cabang filosofi atau ilmu filsafat. Manusia
mampu mengembangkan pengetahuan karena
mempunyai bahasa dan kemampuan menalar.
ALIRAN-ALIRAN DALAM LOGIKA
Pernyataan/ Kalimat Deklaratif/ Proposisi adalah
- LOGIKA TRADISIONAL kalimat yang bernilai benar atau salah tetapi tidak
Pelopornya adalah Aristoteles (384-322 SM) Terdiri keduanya.
dari analitika dan dialektika. Ilmu analitika yaitu Contoh :
cara penalaran yang didasarkan pada pernyataan yang 1. Yogyakarta adalah kota pelajar (benar)
benar sedangkan dialektika yaitu cara penalaran yang 2. 2+2=4 (benar)
didasarkan pada dugaan. 3. Semua manusia adalah fana (benar)
4. 4 adalah bilangan prima (salah)
- LOGIKA METAFISIS 5. 5x12=90 (salah)
Dipelopori oleh F. Hegel (1770-1831 M) Menurut
Hegel, logika dianggap sebagai metafisika dimana Tidak semua kalimat berupa proposisi
susunan pikiran dianggap sebagai kenyataan. Contoh :
1. Dimanakah letak pulau bali?.
- LOGIKA EPISTIMOLOGI 2. Pandaikah dia?.
Diperkenalkan oleh FH. Bradley (1846-1924) dan 3. Andi lebih tinggi daripada Tina.
Bernhard Bosanquet (1848-1923 M). Prisip dari 4. 3x-2y=5x+4.
logika epistimologi ini adalah untuk mencapai 5. x+y=2.
pengetahuan yang memadai, pikiran yang logis dan
perasaan halus digabungkan. Selain itu, untuk B. Penghubung Kalimat Dan Tabel Kebenaran
mencapai kebenaran, logika harus dihubungkan Satu atau lebih proposisi dapat dikombinasikan untuk
dengan seluruh pengetahuan yang lainnya. menghasilkan proposisi baru lewat penggunaan
operator logika. Proposisi baru yang dihasilkan dari
- LOGIKA kombinasi tersebut disebut dengan proposisi
INSTRUMENTALIS/FRAGMATIS majemuk (compound composition), sedangkan
Dipelopori oleh Jhon Dewey (1859-1952) Prinsipnya proposisi yang bukan merupakan hasil dari
adalah logika merupakan alat atau instrumen untuk kombinasi proposisi lain disebut proposisi atomik.
menyelesaikan masalah. Proposisi majemuk tersusun dari sejumlah proposisi
atomik.
- LOGIKA SIMBOLIS
Logika simbolis adalah ilmu tentang penyimpulan B. Penghubung Kalimat Dan Tabel Kebenaran
yang sah (absah) yang dikembangkan menggunakan Satu atau lebih proposisi dapat dikombinasikan untuk
metod ematematika dan bantuan simbol-simbol menghasilkan proposisi baru lewat penggunaan
khusus sehingga memungkinkan seseorang operator logika. Proposisi baru yang dihasilkan dari
menghindari makna ganda dari bahasa sehari-hari. kombinasi tersebut disebut dengan proposisi
Pelopornya adalah Leibniz, De Morgan, dan Boole majemuk (compound composition), sedangkan
Logika ini menggunakan bahasa simbol untuk proposisi yang bukan merupakan hasil dari
mempelajari secara rinci bagaimana akal harus kombinasi proposisi lain disebut proposisi atomik.
bekerja dan bercirikan teknis, matematis, dan ilmiah. Proposisi majemuk tersusun dari sejumlah proposisi
Pemakaian simbol matematika ini untuk mewakili atomik.
bahsa dalam bentuk pernyataan yang bernilai benar
atau salah. Logika simbolis ini kemudian menjadi Dalam logika dikenal 5 buah penghubung.
dasar logika matematika modern yaitu logika formal
yang semata-mata menelaah bentuk dari bukan isi
dari apa yang dibicarakan.
Simbol Arti Bentuk
PERNYATAAN (PROPOSISI)
¬ Tidak/Negasi ...........Tidak…
Kata merupakan rangkaian huruf yang mengandung  Dan/And/Konjungs ……..dan……..
arti, sedangkan kalimat adalah kumpulan kata yang
disusun menurut aturan tata bahasa dan mengandung i
arti. Di dalam matematika tidak semua pernyataan  Atau/Or/Disjungsi ………atau…….
yang bernilai benar atau salah saja yang digunakan  Implikasi Jika…….maka…….
dalam penalaran. Pernyataan disebut juga kalimat
deklaratif yaitu kalimat yang bersifat menerangkan.  Bi-Implikasi ……..bila dan hanya
Disebut juga proposisi. bila……..
 Disjungsi
NEGASI (INGKARAN) a. Inklusif OR
Jika p adalah “ Semarang ibukota Jawa Tengah”, Yaitu jika P bernilai benar atau Q bernilai benar atau
maka ingkaran atau negasi dari p tersebut adalah ¬p kedua-duanya benar.
yaitu “ Semarang bukan ibukota Jawa Tengah” atau
“Tidak benar bahwa Semarang ibukota Jawa b. Ekslusif OR
Tengah”. Jika p diatas bernilai benar (B), maka Yaitu jika P bernilai benar atau Q bernilai benar tetap
ingkaran p (¬p) adalah bernilai salah (S) dan begitu tidak kedua-duanya benar.
juga sebaliknya.

KONJUNGSI DISJUNGSI
Konjungsi adalah suatu pernyataan majemuk yang Jika P dan Q dua pernyataan maka P v Q bernilai
menggunakan penghubung “DAN/AND” dengan benar jika P dan Q keduanya bernilai benar atau
notasi “˄” salah, salah satu dari P atau Q bernilai benar,
Jika P dan Q dua pernyataan, maka P ˄ Q bernilai sebaliknya P v Q bernilai salah jika keduanya bernilai
benar jika P dan Q bernilai benar, sebaliknya P ˄ Q salah.
bernilai salah jika salah satu dari P atau Q bernilai
salah atau keduanya salah. Tabel kebenaran untuk disjungsi adalah sebagai
berikut:
Contoh dari KONJUNGSI,
P : ani membawa payung
Q : Hari ini hujan P Q PvQ
Maka, P Ù Q B B B
Ani membawa payung dan hari ini hujan. B S B
S B B
KONJUNGSI S S S
P : ani membawa payung
Q : Hari ini hujan
Maka, IMPLIKASI
¬P ˄ Q adalah, Notasi P => Q dapat dibaca:
Ani tidak membawa payung meskipun hari ini hujan. 1. Jika P maka Q
2. Q jika P
KONJUNGSI 3. P adalah syarat cukub untuk Q
P : ani membawa payung 4. Q adalah syarat perlu untuk P
Q : Hari ini hujan Jika P dan Q adalah dua pernyataan, maka P => Q
Maka, bernilai salah jika P benar dan Q salah, selain dari itu
¬P ˄ ¬Q adalah, P Þ Q bernilai benar.
Ani tidak membawa payung dan hari ini tidak hujan.
Tabel kebenaran untuk Implikasi adalah sebagai
Tabel kebenaran intuk Konjungsi adalah sebagai berikut:
berikut:
P Q P => Q
P Q PvQ B B B
B B S B S S
B S S S B B
S B S S S B
S S B
Contoh Implikasi:
DISJUNGSI P : pak ali adalah guru seorang haji
Disjungsi adalah pernyataan majemuk yang Q : pak ali adalah seorang muslim
menghubungkan yang menghubungkan dua buah Maka, P Þ Q adalah,
pernyataan atomik dengan menggunakan Jika pak ali adalah seorang haji maka dia seorang
penghubung “ATAU/OR” dengan notasi “˅”. muslim.
P : hari hujan
Disjungsi memiliki dua implikasi yaitu:
 Q : adi membawa payung kebenaran masing-masing kalimat penyusunnya,
1. Hari benar-benar hujan dan adi benar-benar sebaliknya kontradiksi adalah suatu bentuk kalimat
membawa payung. yang selalu bernilai salah (False), tidak peduli
2. Hari benar-benar hujan tetapi adi tidak membawa bagaimanapun nilai kebenaran masing-masing
payung. kalimat penyusunnya.
3. Hari tidak hujan tetapi adi membawa payung. Dalam tabel kebenaran, suatu tautologi selalu bernilai
4. Hari tidak hujan san adi tidak membawa payung. True pada semua barisnya dan kontradiksi selalu
Penyelesaian dari soal dari soal di atas adalah: bernilai False pada semua baris. Kalau suatu kalimat
1. P : Benar tautologi diturunkan lewat hukum-hukum yang ada
Q : Benar maka pada akhirnya akan menghasilkan True,
P => Q : Benar sebaliknya kontradiksi akan selalu bernilai False.
2. P : Benar Jika pada semua nilai kebenaran
Q : Salah menghasilkan nilai B dan S, maka disebut formula
P => Q : Salah campuran (contingent).
3. P : Salah
Q : Benar GERBANG LOGIKA
P => Q : Benar
4. P : Salah Arsitektur sistem komputer tersusun atas rangkaian
Q : Salah logika 1 (true) dan 0 (false) yang dikombinasikan
P => Q : Benar  dengan sejumlah gerbang logika yaitu NOT, AND,
OR, NAND, NOR, XOR dan XNOR.
BIIMPLIKASI Program komputer berjalan diatas dasar struktur
Jika P dan Q dua buah pernyataan maka P  Q benar penalaran yang baik dari suatu solusi terhadap suatu
bila kedua pernyataan tersebut mempunyai nilai permasalahan dengan bantuan komponen program
kebenaran yang sama, sebaliknya P  Q salah satu yaitu if-then, if – then –else dan lainnya.
salah, atau salah satu benar.
Misalkan ada dua buah pernyataan yaitu P dan Q. A. Gerbang Not
Biimplikasi yaitu pernyataan majemuk yang Gerbang NOT sering disebut juga dengan
menggunakan kata hubung “ jika dan hanya istilah inverter atau pembalik. Logika dari gerbang
jika” dikonotasikan “”. Pernyataan P biimplikasi Q ini adalah membalik apa yang di-input ke dalamnya.
dinyatakan dengan P  Q. Biasanya input-nya hanya terdiri dari satu kaki saja.
Pernyataan P Û Q dapat dibaca: B. Gerbang and.
1. P equivalent Q. Gerbang and memiliki karakteristik logika
2. P adalah syarat perlu dan cukub bagi Q. di mana jika semua input bernilai 1, maka hasil
Tabel kebenaran untuk Biimplikasi adalah sebagai output-nya akan bernilai 1 pula. Jika salah satu
berikut: inputnya bernilai nol maka outputnya juga bernilai
BIIMPLIKASI nol.
P Q PQ Input dari gerbang and selalu lebih dari 1, misalnya 2,
B B B 3, 4, dan seterusnya tetapi output-nya tetap 1
B S S C. Gerbang or
S B S Gerbang or memiliki karakteristik logika di
S S B mana jika semua input bernilai 0, maka hasil output
Contoh 1 Biimplikasi: akan bernilai 0 pula. Jika salah satu inputnya bernilai
P : dua garis saling berpotongan adalah tegak lurus. 1 maka outputnya juga bernilai 1.
Q : dua garis saling membentuk sudut 90 derajat. D. Gerbang nand
Peenyelesaian: Gerbang nand adalah singkatan dan notand,
PQ sehingga gerbang nand adalah kebalikan dari and.
dua garis saling berpotongan adalah tegak lurus jika Sehingga jika semua inputnya bernilai 1, maka hasil
dan hanya jika dua garis saling membentuk sudut 90 output-nya bernilai 0. Jika salah satu atau kedua-
derajat. duanya bernilai 0 maka outputnya bernilai 1
E. Gerbang nor
TAUTOLOGI, KONTRADIKSI, DAN Gerbang nor adalah singkatan dan not or,
CONTINGENT sehingga gerbang nor adalah kebalikan dari or.
sehingga jika semua inputnya bernilai 0, maka hasil
Tautologi adalah suatu bentuk kalimat yang selalu output-nya bernilai 1. jika salah satu atau kedua-
bernilai benar (True) tidak peduli bagaimanapun nilai duanya bernilai 1 maka outputnya bernilai 0.
Kesimpulan
Logika Informatika
Logika disebut juga “the calculus of computer Penutup
science” karena logika memegang peranan yang
sangat penting di bidang ilmu komputer. Peran Makalah ini berisi tentang materi logika informatika
kalkulus (matematika) sama pentingnya untuk ilmu- dan itulah tadi isi dari semua materi yang penulis cari
ilmu bidang sains, misalnya ilmu fisika, ilmu dari berbagi buku referensi yang tertera dalam daftar
elektronika, ilmu kimia, dan sebagainya. Oleh karena pustaka, semoga mmakalah ini dapat bermanfaat
itu, biasanya pelajar, mahasiswa, guru, dan dosen untuk penulis dan para pembaca.
setuju bahwa logika memainkan peranan penting Penulis mengakui bahwa dalam makalah ini masih
dalam berbagai bidang keilmuan, bahkan dalam banyak sekali kata-kata yang salah dan tidak benar,
kehidupan manusia sehari-hari. untuk itu penulis berharap kritik dan saran sangat
penulis harapkan, karna akan menjadi suatu pacuan
Logika, komputasi sytem, dan matematika untuk penulis sendiri. Dan penulis ucapkan Terima
diskrit memiliki peran penting dalam ilmu komputer Kasih kepada berbagai pihak yang telah membantu
karena semuanya berperan dalam pemrograman. menyelesaikan Makalah ini.
Logika merupakan dasar-dasar matemtis suatu
perangkat lunak, digunakan untuk memformalkan
ystem bahasa pemrograman dan spesifikasi program,
serta menguji ketepatan suatu program. Hal ini
menunjukkan betapa pentingnya logika matematika
karena banyak ilmu, khususnya dalam bidang ilmu
komputer, yang memerlukan logika untuk Bandar lampung, 9 januari 2023
berkembang.

Jadi, Logika informatika ini sangat lah

penting untuk suatu program dalam komputer dan di
dalam perkembangan Komputer dan lain-lainya, jika
semakin banyak ahli logika maka semakin
canggihlah teknologi yang akan kita miliki. MUHAMMAD ALIF