Logika Informatika

Logika Proposisional

Tutik Khotimah, M.Kom

 Tujuan Instruksional

Pengertian Logika Proposisional

Macam-macam Proposisi
Logika
Proposisional
Pengertian Argumen

Bentuk Argumen
 Pengertian Logika Proposisional

Proposisi Setiap pernyataan yang hanya

memiliki satu nilai, benar atau salah

 Hari ini hari Minggu.

 Manusia pasti akan mati.
 1+1 = 2

Logika proposisional adalah logika yang menangani,

memproses atau memanipulasi penarikan kesimpulan
secara logis dari proposisi-proposisi
 Macam-macam Proposisi

Proposisi ●
Proposisi yang tidak dapat dipecah
menjadi beberapa proposisi lagi
Atomik ●
Contoh: Dewi rajin belajar

Proposisi Proposisi yang terdiri dari beberapa

●

proposisi atomik

Majemuk
●
Contoh: Ibu pergi ke pasar dan
ayah berangkat ke kantor
 Simbol dalam Logika Proposisional

Simbol-simbol dalam Logika Proposisional adalah:

Simbol-simbol kebenaran (truth symbols)

●
true (Ttrue, Bbenar, 1) dan false (Ffalse, Ssalah, 0)

Simbol-simbol proposisional (propositional symbols)

●
a, b, c, d, E atau p, q, r, s
●
P1, P2, P3, P4 dst

Simbol-simbol penghubung (propositional connectives symbols)

●
not (¬ atau ~), dan (˄ atau ◠), atau (˅ atau ◡), jika... maka.. (⊃ atau ), jika dan hanya jika (≡ atau ↔),
eksklusif or () , not and (|), not or ()
 Kalimat di bawah ini
termasuk proposisi atau
bukan? Jelaskan!
Latihan Proposisi Tentukan proposisi
tunggal atau proposisi
majemuk.

1.Apakah kamu sudah makan?

2.Ani dan Ana makan bakso.
3.Mahasiswa UMK cerdas dan santun.
4.Ayo ikut Pekan Kreativitas Mahasiswa (PKM)!
5.Dodo lolos PKM tetapi tidak mengikuti PIMNAS.
6.Belajar!
7.2+x = 5
8.Siapa yang mengikuti Seminar Nasional?
9.Jika ada wisuda maka perkuliahan diliburkan.
Andi bukan mahasiswa TI, tetapi pintar koding.
10.
 Argumen
 Argumen adalah suatu usaha untuk mencari
kebenaran dari suatu pernyataan berupa kesimpulan
berdasarkan pada kebenaran dari sekumpulan premis.
 Bentuk argumen artinya sekumpulan pernyataan yang
terdiri dari premis-premis & diikuti satu kesimpulan.
 Validitas argumen adalah premis-premis yang diikuti
oleh kesimpulan yang berasal dari premis-premisnya
dan bernilai benar.
 Validitas dapat dibedakan dengan kebenaran dari
kesimpulan.
 Jika satu atau lebih premis-premis salah, maka
kesimpulan dari argumen tersebut juga salah.
 Argumen

Contoh
1. Semua mamalia adalah makhluk berkaki empat.
Semua manusia adalah mamalia.
Dengan demikian, semua manusia adalah makhluk
berkaki empat

Argumen yang valid tapi premis pertama bernilai

salah.
 Argumen

Contoh
2. Ada jenis makhluk hidup berkaki dua.
Semua manusia adalah makhluk hidup.
Dengan demikian, semua manusia berkaki dua

Argumen yang tidak valid tapi menghasilkan

kesimpulan yang benar meski pun tidak mengikuti
premis-premisnya.
 Argumen

Contoh
3. Semua mahasiswa rajin belajar.
Dedi adalah mahasiswa.
Dengan demikian, Dewi rajin belajar.

Kesimpulan yang tidak ada hubungan dengan

premis-premisnya dan premis-premisnya bernilai
benar, tetapi jelas bukan argumen yang kuat secara
logis
 Argumen

Kesimpulan dari Contoh 1-3

 Logika hanya mempermasalahkan bentuk dari
argumen, bukan isi argumen.
 Validitas yang logis adalah hubungan antara premis-
premis dengan kesimpulan yang memastikan bahwa
jika premis benar, maka harus diikuti dengan
kesimpulan yang benar, yang diperoleh dengan
menggunakan aturan-aturan logika. Kesimpulan
juga harus berasal dari premis-premisnya.
 Argumen logis disebut kuat secara logis, jika dan
hanya jika argumen valid dan semua premisnya
bernilai benar.
 Argumen

Argumen adalah kumpulan pernyataan yang

disebut premis dan diikuti oleh kesimpulan yang
selaras dengan premis-premisnya

Argumen logis kuat

(Logically Sound) VS Argumen logis tidak
kuat (Fallacy)

Argumen valid Semua premis bernilai benar

 Tentukan apakah
argumen di bawah ini
Latihan Argumen valid atau tidak valid

1. Mahasiswa UMK cerdas dan santun.

Dedi adalah mahasiswa UMK.
Dengan demikian, Dedi cerdas dan santun.
2. Semua anak TI suka koding.
Arya tidak suka koding.
Dengan demikian, Arya bukan anak TI.
3. Semua anak TI pintar matematika.
Rino adalah anak TI.
Dengan demikian, Rani pintar matematika.
4. Jika hari ini hujan deras, Ani tidak berangkat ke kampus.
Hari ini hujan deras.
Dengan demikian, Ani tetap berangkat ke kampus.
5. Jika Andi rajin belajar, maka ia lulus ujian.
Jika Andi lulus ujian, maka ia naik kelas.
Dengan demikian, jika Andi rajin belajar maka ia naik kelas.
 Bentuk Argumen

Silogisme Hipotetis Modus Ponens

●
Jika A, maka B ●
Jika A, maka B
●
Jika B, maka C ●
A
●
∴ Jika A, maka C ●
∴B

Silogisme Disjungtif Modus Tollens

●
A atau B ●
Jika A, maka B
●
Tidak B ●
Tidak A
●
∴A ●
∴Tidak B
 Bentuk Argumen

Silogisme Hipotetis Jika A, maka B

Jika B, maka C
∴ Jika A, maka C

Contoh
Jika Dino belajar koding, maka dia bisa membuat program.
Jika Dino bisa membuat program, maka dia menjadi programmer.
Dengan demikian, jika Dino belajar koding, maka dia menjadi
programmer.
 Bentuk Argumen

Silogisme Disjungtif A atau B

Tidak B
∴A

Contoh
Dias membuat aplikasi ini sendiri atau dia dibantu koding oleh Jojo.
Dias tidak dibantu koding oleh Jojo.
Dengan demikian, Dias membuat aplikasi ini sendiri.
 Bentuk Argumen

Modus Ponens Jika A, maka B

A
∴B

Contoh
Jika Andi memenangkan kompetisi, maka dia mendapat beasiswa.
Andi memenangkan kompetisi.
Dengan demikian, Andi mendapat beasiswa.
 Bentuk Argumen

Modus Tollens Jika A, maka B

Tidak A
∴ Tidak B

Contoh
Jika Reza sakit keras, maka dia dirawat di rumah sakit.
Reza tidak sakit keras.
Dengan demikian, Reza tidak dirawat di rumah sakit.
 Tentukan kesimpulan
dari argumen ini.
Latihan Bentuk Argumen Tentukan pula bentuk
argumennya

1. Andi pergi ke kampus atau tidur di rumah.

Andi tidak tidur di rumah.
2. Jika Didi ikut seminar, ia mendapatkan sertifikat.
Didi tidak ikut seminar.
3. Jika Ratri tidak mengumpulkan tugas, maka dia tidak
diizinkan mengikuti ujian.
Ratri mengumpulkan tugas.
4. Jika Ani tidak lulus skripsi, maka dia tidak mengikuti wisuda.
Jika Ani tidak mengikuti wisuda, maka dia tidak dapat
melamar pekerjaan.
5. Dino berangkat ke kampus atau dia tidak mendapat uang
saku.
Dino mendapat uang saku.