Disusun :
TINFC-2021-05
Puji syukur kami ucapkan kehadirat Allah SWT atas segala rahmat-Nya sehingga makalah
ini dapat tersusun sampai dengan selesai. Tidak lupa kami mengucapkan terima kasih terhadap
bantuan dari pihak yang telah berkontribusi dengan memberikan sumbangan baik pikiran maupun
materinya.
Penulis sangat berharap semoga makalah ini dapat menambah pengetahuan dan
pengalaman bagi pembaca. Bahkan kami berharap lebih jauh lagi agar makalah ini bisa pembaca
praktekkan dalam kehidupan sehari-hari.
Bagi kami sebagai penyusun merasa bahwa masih banyak kekurangan dalam penyusunan
makalah ini karena keterbatasan pengetahuan dan pengalaman Kami. Untuk itu kami sangat
mengharapkan kritik dan saran yang membangun dari pembaca demi kesempurnaan makalah ini
Penyusun
i
DAFTAR ISI
ii
BAB 1
PENDAHULUAN
Logika disebut juga “the calculus of computer science” karena logika memegang
peranan yang sangat penting di bidang ilmu komputer. Peran kalkulus (matematika) sama
pentingnya untuk ilmu-ilmu bidang sains, misalnya ilmu fisika, ilmu elektronika, ilmu
kimia, dan sebagainya. Oleh karena itu, biasanya pelajar, mahasiswa, guru, dan dosen
setuju bahwa logika memainkan peranan penting dalam berbagai bidang keilmuan, bahkan
dalam kehidupan manusia sehari-hari.
Logika, komputasi sytem, dan matematika diskrit memiliki peran penting dalam
ilmu komputer karena semuanya berperan dalam pemrograman. 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 berkembang.
Logika dalam ilmu komputer digunakan sebagai dasar dalam belajar bahasa
pemrograman, struktur data, kecerdasan buatan, teknik/ystem digital, basis data, teori
komputasi, rekayasa perangkat lunak, ystem pakar, jaringan syaraf tiruan, dan lain-lainnya
yang mempergunakan logika secara intensif. Salah satu contoh yang ystem adlah ystem
digital, yaitu bidang ilmu yang didasari oleh logika untuk membuat gerbang logika (logic
gates) dan arsitektur komputer sebagai inti mikroprosesor, otak komputer atau central
processing unit.
2. Rumusan Masalah
1
3. Tujuan
2
BAB II
PEMBAHASAN
Negasi suatu pernyataan adalah suatu pernyataan yang bernilai benar (B), jika
pernyataan semula bernilai salah (S) dan sebaliknya. Misalnya seperti ini, apabila
kalimat pernyataan bernilai benar, maka setelah dinegasikan, kalimat itu bernilai salah.
Sebaliknya, apabila kalimat pernyataan bernilai salah, maka setalah dinegasikan,
kalimat itu bernilai benar.
Jika p adalah pernyataan yang diketahui, maka ingkaran atau negasi dari p dapat
ditulis dengan memakai simbol atau lambang sebagai berikut.
~p
Untuk memahami konsep ingkaran atau negasi, perhatikan contoh kalimat negasi
berikut ini.
3
p⇔q
(dibaca: p jika dan hanya jika q)
p ⇔ q dinyatakan benar, jika τ(p) = τ(q) (dibaca: p dan q mempunyai nilai kebenaran yang
sama).
p ⇔ q dinyatakan salah, jika τ(p) ≠ τ(q) (dibaca: p dan q mempunyai nilai kebenaran yang
tidak sama).
Berdasarkan definisi tersebut, table kebenaran biimplikasi p q dapat di
tunjukan seperti table berikut:
p q p⇔q
B B B
B S S
S B S
S S B
C. Sequence
4
diagram ini terdiri dari dua dimensi yaitu dimensi vertikal yang menunjukan
waktu dan dimensi horizontal yang menunjukan objek-objek. Tiap-tiap objek,
termasuk actor, memiliki waktu aktif yang digambarkan dengan kolom vertikal
yang disebut dengan lifeline. Sementara itu, pesan atau perintah digambarkan
sebagai garis panah dari satu lifeline ke lifeline yang lain.
Jawaban:
Jawab:
5
F. Contoh Sequence:
6
BAB III
PENUTUP
A. Kesimpulan
7
B. Penutup
Makalah logika informatika ini dibuat untuk memenuhui suatu syarat untuk
kelulusan nilai mata kuliah Logika Informatika, dan itulah tadi isi dari semua
materi yang penulis cari dari berbagi buku referensi yang tertera dalam daftar
pustaka, semoga mmakalah ini dapat bermanfaat untuk penulis dan para pembaca.
Penulis mengakui bahwa dalam makalah ini masih banyak sekali kata-kata
yang salah dan tidak benar, untuk itu penulis berharap kritik dan saran sangat
penulis harapkan, karna akan menjadi suatu pacuan untuk penulis sendiri. Dan
penulis ucapkan Terima Kasih kepada berbagai pihak yang telah membantu
menyelesaikan Makalah ini.
8
DAFTAR PUSTAKA
2018. (2018, febuari 27). 2018. Retrieved oktober 24, 2021, from blogmipa-
matematika.blogspot.com: https://blogmipa-matematika.blogspot.com/2018/02/ingkaran-
dalam-logika-matematika.html#comment-form
2018/04. (2018, april 06). biimplikasi.html. Retrieved oktober 24, 2021, from blogmipa-
matematika.blogspot.com: https://blogmipa-
matematika.blogspot.com/2018/04/biimplikasi.html
Anonymous. (2015, agustus 4). 2015/08. Retrieved oktober 24, 2021, from
http://blogopeninformation.blogspot.com:
http://blogopeninformation.blogspot.com/2015/08/makalah-logika-informatika.html?m=1
setiawan, R. (2021, agustus 21). blog. Retrieved oktober 24, 2021, from www.dicoding.com:
https://www.dicoding.com/blog/apa-itu-sequence-diagram/