Jelajahi eBook
Kategori
Jelajahi Buku audio
Kategori
Jelajahi Majalah
Kategori
Jelajahi Dokumen
Kategori
Hukum-Hukum Aljabar
Proposisi
Inferensi
Latihan Soal
LOGIKA
• Logika digunakan untuk menyatakan sebuah argumen
valid atau tidak.
Permainan
“Gajah lebih besar daripada tikus.”
Permainan
“520 < 111”
Permainan
“y > 5”
Permainan
“Sekarang tahun 2015 dan 99 < 5.”
Permainan
“Tolong untuk tidak tidur selama kuliah”
Permainan
“x < y jika dan hanya jika y > x.”
p ~p
T F
F T
Proposisi Majemuk Lainnya
Notasi Terminologi Bahasa alami
𝑝 ∧ 𝑞 Konjungsi p dan q
𝑝 ∨ 𝑞 Disjungsi p atau q
𝑝 → 𝑞 Kondisional ; implikasi Jika p maka q
𝑝 ↔ 𝑞 Bikondisional; biimplikasi p jika dan hanya jika q
𝑝⨁𝑞 Ekslusif or p xor q
𝑝 ↓ 𝑞 Not or p nor q
𝑝|𝑞 ;𝑝 ↑ 𝑞 Not and p nand q
Contoh 1:
Diketahui proposi-proposi berikut:
p : hari ini ujian
q : parkiran kampus ramai
Terjemahkan notasi berikut dengan kata-kata
𝑝 ∧ 𝑞
𝑝 ∨ 𝑞
~𝑝
~𝑞
𝑞 ∧ ~𝑝
~𝑝 ∨ 𝑞
~𝑝 ∧ ~𝑞
~(~𝑝)
Solusi Contoh 1:
𝑝 ∧ 𝑞
Hari ini ujian dan parkiran kampus ramai
𝑝 ∨ 𝑞
Hari ini ujian atau parkiran kampus ramai
~𝑝
Tidak benar hari ini ujian
Hari ini tidak ujian
~𝑞
Tidak benar parkiran kampus ramai
Parkiran kampus tidak ramai
𝑞 ∧ ~𝑝
parkiran kampus ramai dan hari ini tidak ujian
~𝑝 ∨ 𝑞
Hari ini tidak ujian atau parkiran kampus ramai
~𝑝 ∧ ~𝑞
Hari ini tidak ujian dan parkiran kampus tidak ramai.
~ ~𝑝
Tidak benar hari ini tidak ujian.
Salah bahwa hari ini tidak ujian.
Contoh 2:
Diketahui proposisi-proposisi berikut:
p : Mahasiswa TI Unidayan rajin
q : Mahasiswa TI Unidayan kece
Nyatakan proposisi berikut dalam ekspresi logika
Mahasiswa TI Unidayan rajin dan kece
Mahasiswa TI Unidayan rajin tapi tidak kece
Mahasiswa TI Unidayan tidak rajin maupun kece
Tidak benar bahwa mahasiswa TI Unidayan rajin dan tidak kece
Mahasiswa TI Unidayan rajin, atau malas dan kece
Tidak benar bahwa Mahasiswa TI Unidayan tidak rajin maupun
kece
Solusi Contoh 2:
𝑝 ∧ 𝑞
𝑝 ∧ ~𝑞
~𝑝 ∧ ~𝑞
~ 𝑝∧~𝑞
𝑝 ∨ (∼ 𝑝 ∧ 𝑞)
~(~𝑝 ∧ ~𝑞 )
Tabel Kebenaran untuk Proposisi
Majemuk Umum
Truth tables define the meanings of the logical operators, and they can be used
to calculate the values of expressions and prove that two propositions are
logically equivalent
Contoh 3:
Jika p, q, dan r adalah proposisi, bentuklah tabel
kebenaran dari ekspresi logika berikut:
𝑝 ∧ 𝑞 ∨ ~𝑞 → 𝑟
Tautologi vs Kontradiksi
• Proposisi majemuk disebut tautologi jika ia benar untuk
semua kasus
Contoh 4:
Proposisi-proposisi berikut adalah implikasi dalam berbagai
bentuk, tentukan proposisi p dan q (asumsi: jika semua
pernyataan ini dinyatakan dalam p q)
1. Jika hari hujan, maka tanaman akan tumbuh subur.
2. Jika tekanan gas diperbesar, mobil melaju kencang.
3. Es yang mencair di kutub mengakibatkan permukaan air laut
naik.
4. Orang itu mau berangkat jika ia diberi ongkos jalan.
5. Ahmad bisa mengambil matakuliah Teori Bahasa Formal hanya
jika ia sudah lulus matakuliah Matematika Diskrit.
6. Syarat cukup agar pom bensin meledak adalah percikan api
dari rokok.
7. Syarat perlu bagi Indonesia agar ikut Piala Dunia adalah
dengan mengontrak pemain asing kenamaan.
8. Banjir bandang terjadi bilamana hutan ditebangi.
Contoh 5:
Nyatakan pernyataan berikut dalam notasi simbolik:
• Mis:
• a = AndatidakdapatterdaftarsebagaipemilihdalamPemilu
• b=andaberusia di bawah 17
• c=anda sudah menikah
(𝑏 ∧ ~𝑐) → 𝑎
Contoh 6:
Untuk menerangkan mutu sebuah hotel, misalkan
p : Pelayanannya baik
q : Tarif kamarnya murah
r : Hotelnya berbintang tiga.
Terjemahkan proposisi-proposisi berikut dalam notasi
simbolik (menggunakan p, q, r):
• Tarif kamarnya murah, tapi pelayanannya buruk.
• Tarif kamarnya mahal atau pelayanannya baik, namun tidak
keduanya.
• Salah bahwa hotel berbintang tiga berarti tarif kamarnya murah dan
pelayanannya buruk.
Contoh 7:
Buatlahkesimpulannya!
Rule of Name
Inference
Inferensi p .
p q
Addition
pq Simplification
p
p Conjunction
q .
p q
p Modus ponens
pq
q
q Modus tollens
pq
p
pq Hypothetical
qr syllogism
p r
pq Disjunctive
p. syllogism
q
pq Resolution
p r
q r
Contoh 9:
Pada suatu hari, Saya hendak pergi ke kampus dan baru sadar
bahwa Saya tidak memakai kacamata. Setelah mengingat-ingat,
ada beberapa fakta yang dapat saya pastikan kebenarannya :
a.Jika kacamata ada di meja dapur, maka aku pasti sudah
melihatnya ketika sarapan pagi
b. Aku membaca koran di ruang tamu atau aku membacanya di
dapur
c. Jika aku membaca koran di ruang tamu, maka pastilah
kacamata kuletakkan di meja tamu
d. Aku tidak melihat kacamataku pada waktu sarapan pagi
e. Jika aku membaca buku di ranjang, maka kacamata
kuletakkan di meja samping ranjang
f. Jika aku membaca koran di dapur, maka kacamataku ada di
meja dapur
Berdasarkan fakta atau hipotesa diatas, dimanakah letak
kacamata?
TUGAS 1
Kumpulkan pekan depan
Tugas
1. buatlahtabelkebenarandari:
(¬ p ∧ (¬ q ∧ r)) ∨ (q ∧ r) ∨ (p ∧ r)
2. Apakahpasanganberikutekuivalen?
(r ∨p)∧ ((¬r ∨ (p ∧ q))∧ (r ∨q)) denganp ∧ q
3. Pernyataandibawahinitermasuktautologiataukontradiksi?
((p ∨q)∧ ¬ (¬p∧ (¬q∨ ¬ r)))∨(¬p∧ ¬q)∨(¬p∧ ¬r)
4. Buatlahkonvers, invers dankontraposisidarikalimatberikut: jika x
tidaknegatif, maka x adalahbilanganpositifatau x = 0
Tugas
5. Sebuah pulau didiami oleh dua suku asli. Penduduk suku pertama
selalu mengatakan hal yang benar, sedangkan penduduk dari suku
lain selalu mengatakan kebohongan. Anda tiba di pulau ini dan
bertanya kepada seorang penduduk setempat apakah di pulau
tersebut ada emas atau tidak. Ia menjawab, “Ada emas di pulau ini
jika dan hanya jika saya selalu mengatakan kebenaran”. Apakah ada
emas di pulau tersebut?