Nama : Maharani Putri

NIM : 20220038
Mata Kuliah : Matematika Diskret

SOAL !

Materi tentang Silogisme, Dilema, dan Konjungsi dari matematika diskret.

1. Silogisme

a. Silogisme Disjungtif
• Apabila kita dihadapkan pada satu diantara dua pilihan (A atau B)
• Jika tidak memilih A maka pilihan yang mungkin adalah B

P1 : p ˅ q
P2 : ~p
---------------
⸫q

• Contoh :
p : kunci kamarku ada di sakuku
q : kunci kamarku tertinggal di rumah
Jika dibuat silogisme disjungtifnya maka, akan menjadi seperti ini :

P1 : Kunci kamarku ada di sakuku atau tertinggal di rumah

P2 : Kunci kamarku tidak ada di sakuku
------------------------------------------------
⸫Kunci kamarku tertinggal di rumah

Tabel kebenaran dari Silogisme Disjungtif

p q ~p p˅q q
T T F T T
T F F T F
F T T T T
F F T F F

b. Silogisme Hipotesis
• Prinsip : sifat transitif pada implikasi. Jika p→ q dan q→ r keduanya bernilai benar
maka p→ r bernilai benar pula.

P1 : p→q
P2 : q→r
---------------
⸫ p→ r

• Pertama, rumuskan
• Contoh : • Selanjutnya, tentukan
p : Saya giat belajar apakah valid
q : Saya mendapat nilai A
r : Saya pintar
Jika dibuat dalam bentuk silogismenya :

P1 : jika saya giat belajar, maka saya mendapat nilai A

P2 : jika saya mendapatkan nilai A, maka saya pintar
--------------------------------------------------------------------
⸫jika saya giat belajar, maka saya pintar

Tabel kebenaran dari Silogisme Hipotesis.

p q r p→q p→ r q→r
T T T T T T
T T F T F F
T F T F T T
T F F F F T
F T T T T T
F T F T T F
F F T T T T
F F F T T T

2. Dilema
Dilema adalah penarikan kesimpulan jika diketahui "p v q" dan "p → r" dan "q → r"
maka kesimpulannya adalah "r".

P1 : p ˅ q
P2 : p → r
P3 : q → r
----------------------
⸫r

Contoh :
p : Hari ini Rizki ulang tahun.
q : Kemarin Bambang juara LKS nasional.
r : Saya akan ditraktir makan bakso.
Jika dibuat dalam bentuk Dilema makan akan diperoleh :
P1 : Hari ini Rizki ulang tahun atau Kemarin Bambang juara LKS nasional.
P2 : Jika hari ini Rizki ulang tahun maka saya akan ditraktir makan bakso.
P3 : Jika kemarin Bambang juara LKS nasional saya akan ditraktir makan bakso.
---------------------------------------------------------------------------------------------------
⸫Saya akan ditraktir makan bakso.
a. Dilema Konstruktif
Dilema konstruktif merupakankombinasi dua argumen modus ponen (periksa
argumen modus ponen)

P1 : (p → q) ˄ (r → s)
P2 : p ˅ r
--------------------------
⸫q ˅ s

Contoh :
p : hari hujan
q : aku tinggal di rumah
r : teman datang
s : aku pergi berbelanja
Jika dibuat dalam bentuk dilema konstruktif maka akan diperoleh :
P1 : jika hari ini hujan, aku akan tinggal dirumah, tetapi jika teman datang, aku pergi
berbelanja.
P2 : hari ini hujan atau teman datang
------------------------------------------------------------
⸫aku akan tinggal dirumah atau pergi berbelanja.

Tabel kebenaran Dilema Konstruktif

p→q =1 (p → q) ˄ (r → s) ˄( p ˅ r ) = 5
r→s =2 q˅s =6
(p → q) ˄ (r → s) =3 (p → q) ˄ (r → s) ˄( p ˅ r ) → (q ˅ s) = 7
p˅r =4
p q r s 1 2 3 4 5 6 7
T T T T T T T T T T T
T T T F T F F T F T T
T T F T T T T T T T T
T T F F T T T T T T T
T F T T F T F T F T T
T F T F F F F T F F T
T F F T F T F T F T T
T F F F F T F T F F T
F T T T T T T T T T T
F T T F T F F T F T T
F T F T T T T F F T T
F T F F T T T F F T T
F F T T T T T T T T T
F F T F T F F T F T T
F F F T T T T F F T T
F F F F T T T F F F T
b. Dilema Destruktif

P1 : (p → q) ˄ (r → s)
P2 : ~q ˅ ~s
--------------------------
⸫~p ˅ ~r

Contoh :
p : aku memberikan pengakuan
q : aku digantung
r : aku tutup mulut
s : aku ditembak mati
Jika dibuat dalam bentuk Dilema Destruktif maka akan diperoleh :
P1 : Jika aku memberikan pengakuan, aku akan digantung. Dan jika aku tutup mulut ,
maka aku akan ditembak mati.
P2 : Aku tidak akan digantung atau ditembak mati.
------------------------------------------------------------
⸫Aku tidak akan memberikan pengakuan atau tidak akan menutup mulut.

Tabel kebenaran dari Dilema Destruktif

p→q =1 (p → q) ˄ (r → s) ˄ (~q ˅ ~s) = 5

r→s =2 ~p ˅ ~r =6
(p → q) ˄ (r → s) =3 (p → q) ˄ (r → s) ˄ (~q ˅ ~s) → ~p ˅ ~r = 7
~q ˅ ~s =4

p q r s 1 2 3 4 5 6 7
T T T T T T T F F F T
T T T F T F F T F F T
T T F T T T T F F T T
T T F F T T T T T T T
T F T T F T F T F F T
T F T F F F F T F F T
T F F T F T F T F T T
T F F F F T F T F T T
F T T T T T T F F T T
F T T F T F F T F T T
F T F T T T T F F T T
F T F F T T T T T T T
F F T T T T T T T T T
F F T F T F F T F T T
F F F T T T T T T T T
F F F F T T T T T T T
3. Konjungsi
Apabila p benar, q benar. Maka p dan q benar

P1 : p
P2 : q
--------------
⸫p ˄ q

a. Penyederhanaan Konjungsi
Jika suatu kalimat dihubungkan dengan "ʌ" maka dapat diambil salah satu
komponennya secara khusus.

p˄q
⸫p

Atau

p˄q
⸫q

Contoh :
p : Saya mengambil mata kuliah Pengantar Teknologi
q : Saya mengambil mata kuiah Matematika Diskrit
Jika dibuat ke dalam bentuk penyederhanaan konjungsi maka akan diperoleh :
P1 : Saya mengambil mata kuliah Pengantar Teknologi dan Matematika Diskrit
-------------------------------------------------------------------------------------------------
kesimpulan1(p) : Saya mengambil mata kuliah Pengantar Teknologi
kesimpulan2(q) : Saya mengambil mata kuliah Matematika Diskrit

Tabel kebenaran aturan Konjungsi

p q
T T
T F
F T
F F
p˄q (p ˄ q) → (p ˄ q)
T T
F T
F T
F T

Catatan :
Blok yang diberi warna Hijau menyatakan argumen Valid.
 DAFTAR PUSTAKA

Saniyatul. Teori Dasar Logika (lanjutan). Tersedia pada

http://saniyatul.lecturer.pens.ac.id/Matematika%20Diskrit/Teori
%20Dasar%20Logika%20Lanjutan.pdf diakses pada 03 February 3,
2021.
N. W Sidiq. 2015. LOGIKA INFORMATIKA: PENARIKAN KESIMPULAN. Tersedia
pada https://www.catataninstrumatika.com/2014/10/logika-informatika-
penarikan-kesimpulan.html diakses pada 03 February 3, 2021.
Anggre Resty. 2014. Pembuktian kebenaran dari validitas pembuktian Logika.
Tersedia pada https://www.slideshare.net/r_anggre/pembuktian-
kebenaran-dari-validitas-pembuktian-logika diakses pada 03 February 3,
2021.