LOGIKA INFORMATIKA

PROPOSISI MAJEMUK

Disusun oleh:
Kelompok 5
Kelas : TINFC 2022 04
Azka Ainurridho (20220810124)
Bagus Reynaldo (20220810104)
Faishal Augusta (20220810099)
Hilman Fikri (20220810121)

UNIVERSITAS KUNINGAN
FAKULTAS ILMU KOMPUTER
2022
 KATA PENGANTAR

Puji dan syukur kami panjatkan ke hadirat Tuhan yang maha Esa, karena telah
melimpahkan rahmat-Nya berupa kesempatan dan pengetahuan sehingga makalah ini bisa
selesai pada waktunya.
Adapun tujuan dari penulisan makalah ini adalah untuk memenuhi tugas yang diberikan
oleh bapak gatau dari mata kuliah Logika Informatika. Selain itu makalah ini juga bertujuan
untuk menambah wawasan tentang Sintaks Logika Informatika.
Terima Kasih juga kami ucapkan kepada teman teman yang telah berkontribusi dalam
pembuatan makalah ini sehingga makalah ini dapat disusun dengan baik dan rapi. Kami
berharap makalah ini dapat menambah pengetahuan para pembaca.
Namun terlepas dari itu, kami memahami bahwa makalah ini masih jauh dari kata
sempurna, sehingga kami sangat mengharapkan kritik serta saran yang bersifat membangun
demi terciptanya makalah yang lebih baik lagi.

Kuningan, 3 Oktober 2022

i
 DAFTAR ISI

KATA PENGANTAR................................................................................................................i
DAFTAR ISI..............................................................................................................................ii
BAB I.........................................................................................................................................1
1.1. Latar Belakang.............................................................................................................1
1.2. Rumusan Masalah.......................................................................................................1
1.3. Tujuan..........................................................................................................................1
BAB II........................................................................................................................................2
2.1. Pengertian Logika Informatika....................................................................................2
2.2. Pengertian Proposisi....................................................................................................3
2.3. Proposisi beserta contohnya........................................................................................3
BAB III.......................................................................................................................................7
3.1. Kesimpulan..................................................................................................................7
DAFTAR PUSTAKA................................................................................................................8

ii
 BAB I
PENDAHULUAN

1.1. Latar Belakang

Didalam logika, kita akan mengenal istilah penalaran, yang diartikan sebagai
penarikan kesimpulan dalam sebuah argumen. Penalaran, sering pula diartikan cara
berfikir, merupakan penjelasan untuk memperlihatkan hubungan antara dua hal atau
lebih berdasarkan sifat-sifat atau hukum-hukum tertentu yang sudah diakui
kebenarannya dengan Langkah-langkah tertentu yang berakhir dengan sebuah
kesimpulan.
Dalam arti luas logika adalah sebuah metode dan prinsip-prinsip yang dapat
memisahkan secara tegas antara penalaran yang benar dengan penalaran yang salah.

1.2. Rumusan Masalah

 Apa pengertian dari Logika Informatika?
 Apa itu proposisi?

1.3. Tujuan
 Mengetahui pengertian dari Logika Informatika
 Memahami proposisi

1
 BAB II
PEMBAHASAN

2.1. Pengertian Logika Informatika

Logika merupakan suatu ilmu pengetahuan di mana objek formal adalah
berpikir/penalaran. Logika dapat pula dikategorikan dalam matematika murni yang
menggunakan simbol-simbol matematik. Informatika merupakan ilmu tentang
pengumpulan, klasifikasi, penyimpanan, pengeluaran dan penyebaran pengetahuan,
yang berkaitan dengan informasi.
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.
Untuk dapat menarik konklusi yang tepat, diperlukan kemampuan menalar.
kemampuan menalar adalah kemampuan untuk menarik konklusi yang tepat dari
bukti-bukti yang ada, dan menurut aturan-aturan tertentu. Logika bisa merupakan
cabang filosofi dan bisa juga cabang dari matematika. Logika terkategori matematika
murni karena matematika adalah logika yang tersistematisasi.
Namun, sejak tahun 1800-an logika dipelajari dibidang matematika dan sekarang
ini juga dibidang ilmu komputer, karena logika juga mempengaruhi ilmu komputer
dibidang perangkat keras (hardware) maupun perangkat Lunak (software). Logika
disini disebut logika simbol karena ia mempelajari usaha-usaha mensimbolisasikan
usaha-usaha secara formal.
Oleh karena itu, logika juga disebut dengan logika formal (formal logic).
Aristoteles adalah orang pertama yang mengobservasi, meneliti dan mencatat hukum-
hukum dari logika formal, khususnya bentuk penalaran yang disebut Silogisme yang
terdiri dari beberapa premis dan satu konklusi.

2
2.2. Pengertian Proposisi
Proposisi adalah istilah yang digunakan untuk kalimat pernyataan yang memiliki
arti penuh dan utuh. Hal ini berarti suatu kalimat harus dapat dipercaya, disangsikan,
disangkal, atau dibuktikan benar tidaknya. Singkatnya, proposisi adalah pernyataan
mengenai hal-hal yang dapat dinilai benar atau salah.
Proposisi adalah suatu tutur atau bisa juga disebut sebuah pernyataan yang
digunakan untuk melukiskan keadaan yang belum tentu benar ataupun salah di dalam
bentuk sebuah kalimat berita. Proposisi sendiri merupakan istilah yang digunakan di
dalam analisis logika.
Proposisi merupakan kalimat logika yang mana pernyataan tentang hubungan
antara dua atau beberapa hal yang dapat dinilai benar atau salah. Ada juga yang
mengartikan proposisi sebagai ekspresi verbal dari putusan yang berisi pengakuan
atau pengingkaran sesuatu (predikat) terhadap sesuatu yang lain (subjek) yang dapat
dinilai benar atau salah.

2.3. Proposisi beserta contohnya

Proposisi merupakan rangkaian huruf yang mengandung arti, sedangkan kalimat
adalah kumpulan kata yang disusun menurut aturan tata bahasa dan mengandung arti.
Di dalam matematika tidak semua pernyataan yang bernilai benar atau salah saja yang
digunakan dalam penalaran. Pernyataan disebut juga kalimat deklaratif yaitu kalimat
yang bersifat menerangkan.
Pernyataan/Kalimat Deklaratif/ Proposisi adalah kalimat yang bernilai benar atau
salah tetapi tidak keduanya.
Contoh :
1. Yogyakarta adalah kota pelajar (Benar)
2. 2+2=4 (Benar)
3. Semua manusia adalah fana (Benar)
4. 4 adalah bilangan prima (Salah)
5. 5x12=90 (Salah) Tidak semua kalimat berupa proposisi

Satu atau lebih proposisi dapat dikombinasikan untuk menghasilkan proposisi

baru lewat penggunaan operator logika. Proposisi baru yang dihasilkan dari
kombinasi tersebut disebut dengan proposisi majemuk (compound composition),
sedangkan proposisi yang bukan merupakan hasil dari kombinasi proposisi lain
disebut proposisi atomic

3
Didalam Logika terdapat 5 buah operator penghubung berikut ini:

Contoh:
P menyatakan kalimat “ Mawar adalah nama bunga” Q menyatakan kalimat “
Apel adalah nama buah” Maka kalimat “ Mawar adalah nama bunga dan Apel adalah
nama buah “ Dinyatakan dengan simbol p q.

Operasi Negasi
Operasi Negasi (negation), atau penyangkalan atau ingkaran ialah operasi yang
dikenakan hanya pada sebuah pernyataan
Lambang “~” atau “-“
Negasi pernyataan p adalah ~p atau dibaca “tidak benar bahwa p” atau “tidak p”
atau “negasi p”
Contoh:
 P : Kucing makan ikan
 ~p : kucing tidak makan ikan
 ~p : tidak benar bahwa kucing makan ikan
 P : kemarin tidak ada kecelakaan pesawat
 ~P : kemarin ada kecelakaan pesawat

Operasi Konjungsi
Pernyataan majemuk yang dibentuk dengan cara menggabungkan dua pernyataan
tunggal dengan menggunakan kata perangkai “dan”.
Dilambangkan “^” dan dibaca “dan”, dari pernyataan p dan pernyataan q dapat
disusun pernyataan “p^q” dibaca “p dan q”

4
4
Contoh:
 P : 7-2 = 5
Q : 5 adalah bilangan prima
P^Q : 7-2 = 5 dan 5 adalah bilangan prima

 P : ibu memasak sosis

Q : ibu mencuci piring
P^Q : ibu memasak sosis dan mencuci piring.

Operasi Implikasi
Implikasi adalah kalimat majemuk yang menggunakan kata hubung "JIKA" p
"MAKA" q. Implikasi disebut juga kalimat bersyarat tunggal artinya jika kalimat p
bernilai benar maka kalimat q pun akan bernilai benar juga. Notasi dari implikasi
adalah "=>"
p => q dapat dibaca dengan beberapa cara, di antaranya:
 Jika p maka q.
 q jika p
 p adalah syarat yang cukup untuk q
 q adalah syarat yang diperlukan untuk p
Contoh:
 premis 1(p): Anita kuliah di Universitas Kuningan (Benar)
premis 2(q): Anita adalah mahasiswa. (Benar)
implikasi(p=>q): jika Anita kuliah di Universitas Kunignan maka Anita adalah
mahasiswa. (Benar)

 premis 1(p): 2+2=7 (Salah)

premis 2(q): 6x2=12 (Benar)
implikasi(p=>q): jika 2+2=7 maka 6x2=12. (Benar)

 premis 1(p): Bumi itu bulat. (Benar)

premis 2(q): Bulan itu berbentuk prisma (Salah)
implikasi(p=>): Jika bumi itu bulat maka bulan berbentuk prisma (Salah)

Operasi Exclusive OR
Exclusive OR atau EXOR merupakan pernyataan gabungan dari dua pernyataan
(misalkan P dan Q) dimana nilai pernyataan ini akan benar jika salah satu dari P dan
Q (tidak keduanya) bernilai benar. Dalam matematik EXOR diberi notasi sebagai
berikut.

5
Contoh:
 p = Matematika diskrit adalah matematika dasar yang bias dipakai untuk
disain logika (Benar)
 q = Biner merupakan sistem bilangan yang sipakai dalam sistem digital
(Benar)
 r = Bilangan desimal adalah sistem bilangan dalam sistem digital (salah)
 s = Bilangan decimal merupakan sistem bilangan yang terdiri dari angka 0 dan
1 (Salah)

Maka:
 p EXOR dengan q bernilai salah karena p (Benar) dan q (Benar)
 q EXOR dengan r bernilai benar karena p (Benar) dan r (Salah)
 q EXOR dengan r bernilai benar karena q (Benar) dan r (Salah)
 r EXOR dengan s bernilai salah karena r (Benar) dan s (Salah)

Operasi Disjungsi
Disjungsi adalah suatu kalimat majemuk yang menggunakan kata hubung
"ATAU" / "OR". Notasinya adalah "v".
Contoh:
 premis 1(p): Dalam pelajaran TIK, siswa menggunakan komputer sekolah.
(Benar)
premis 2(q): Dalam pelajaran TIK, siswa boleh membawa laptop sendiri.
(Benar)
disjungsi(pvq): Dalam pelajaran TIK, siswa boleh menggunakan komputer
sekolah atau membawa laptop sendiri (Benar)

 premis 1(p): Air adalah benda cair. (Benar)

premis 2(q): Es adalah air yang mendidih. (Salah)
disjungsi(pvq): Air adalah benda cair atau es adalah air yang mendidih.
(Benar)
Catatan:
Disjungsi bernilai salah apabila kedua premis pembentuknya bernilai salah. Jika salah
satu atau kedua premis bernilai benar maka disjungsi bernilai benar.

6
 BAB III
PENUTUP

3.1. Kesimpulan
Dengan ini kita dapat menyimpulkan bahwa logika sangatlah penting dalam dunia
komputer, Logika Informatika mengajarkan kita untuk berfikir secara logis layaknya
sebuah komputer, untuk mencapai pemahaman yang lebih mendalam lagi kita juga
perlu memahami dasarnya terlebih dahulu, ilmu logika dasar yang perlu kita pahami
adalah proposisi, dalam Logika Informatika itu sendiri terdapat 5 operasi yang
mungkin akan sering kita jumpai. Kelima operasi tersebut adalah operasi negasi,
operasi konjungsi, operasi implikasi, operasi EXOR, dan operasi disjungsi.

7
 DAFTAR PUSTAKA
https://id.scribd.com/doc/294190418/MAKALAH-LOGIKA-INFORMATIKA
https://www.gurupendidikan.co.id/proposisi-adalah/
https://www.academia.edu/43609562/PROPOSISI_DALAM_LOGIKA_INFORMATIKA_LOGIKA_INF
ORMATIKA https://eprints.akprind.ac.id/585/1/BUKU%20LOGIKA%20INFORMATIKA.pdf
https://www.slideshare.net/DeviGayatri/proposisi-logika-informatika
https://id.scribd.com/doc/294190418/MAKALAH-LOGIKA-INFORMATIKA
https://www.academia.edu/43609562/PROPOSISI_DALAM_LOGIKA_INFORMATIKA_LOGIKA_INF
ORMATIKA https://legalstudies71.blogspot.com/2017/04/proposisi-majemuk-dan-bagian-
bagiannya.html?m=1 https://adoc.pub/proposisi-kompositif-proposisi-konjuntif.html
https://massofa.wordpress.com/2008/01/31/proposisi-majemuk-dan-nialai-kebenaran/
#:~:text=Proposisi%20majemuk%20ada%20tiga%20macam,proposisi%20disjungtif%2C%20dan
%20proposisi%20konjungtif.
https://www.academia.edu/37921539/Proposisi_Majemuk_Logika_Bahan_Kuliah
https://nanopdf.com/download/proposisi-majemuk-staffsite-stimata_pdf