Soal Tugas 2: Inferensi dan Pembuktian

Matematika Diskret 1 2021/2022 Genap

▪ Cantumkan nama lengkap, NPM, dan kelas Anda di dalam berkas tugas Anda.
▪ File yang dikumpulkan merupakan satu buah berkas .pdf dengan nama file
Tugas2_NamaLengkap_NPM. Contoh: Tugas2_NandhitaZefania_2006463963.pdf
▪ Kecurangan akademis seperti menyontek, plagiarisme, dsb. pada tugas sangat dilarang. Pelanggar
akan dikenakan sanksi sesuai peraturan.
▪ Tugas harus ditulis tangan baik secara digital (menggunakan pen tablet) maupun secara
nondigital (pensil/pena dan kertas).
▪ Tugas dikumpulkan paling lambat tanggal 24 Maret 2022 melalui slot pengumpulan di SCeLe.
▪ Pengumpulan tugas antara pukul 16:00-17:00 pada hari yang sama dengan tenggat waktu akan
diberikan penalti 30% dari nilai yang diperoleh. Pengumpulan lewat dari pukul 17:00 tidak akan
diterima.

Capaian Pembelajaran #7: Mahasiswa mampu menerapkan aturan-aturan inferensi, baik pada
logika proposisi maupun logika predikat, untuk membangun suatu argumentasi valid.
1. [6+4] Diberikan premis seperti berikut:
○ ¬(𝑎 → (𝑐 ∧ ¬𝑎))
○ ¬𝑏 → ¬𝑎
○ ¬𝑒 → ¬(𝑐 ∧ 𝑏)
○ ¬𝑑 ∨ 𝑐
○ 𝑑 ∧ ¬(𝑓 ∧ ¬𝑑)
Menggunakan premis yang telah diberikan, tentukan:
a. Apakah kesimpulan 𝑒 dapat dicapai melalui premis yang telah diberikan?
b. Bila premis ¬𝑑 ∨ 𝑐 dihapus, apakah kesimpulan e dapat dicapai? Jelaskan!

2. [5+5] Diberikan dua premis berikut:

○ Jika mahasiswa melakukan plagiarisme, maka mahasiswa dikeluarkan dari
universitas.
○ Nilai tugas dikurangi dan mahasiswa tidak dikeluarkan dari universitas.
Tentukan apakah kesimpulan berikut dapat diperoleh melalui argumentasi yang valid dari dua
pernyataan di atas. Jika valid, tunjukkan argumentasinya. Jika tidak, berikan alasannya.
a. Mahasiswa melakukan plagiarisme dan nilai tugas tidak dikurangi
b. Jika mahasiswa melakukan plagiarisme, maka nilai tugas akan dikurangi.

3. [7+7] Gunakan aturan inferensi pada logika proposisi dan predikat untuk menyelesaikan soal
di bawah.
a. Berikan argumentasi valid untuk menyimpulkan “Ada pengguna internet yang tidak
menggunakan aplikasi Netflix” dari tiga premis berikut:
i. Semua pengguna internet yang tidak menggunakan aplikasi Tiktok
menggunakan aplikasi Youtube dan Instagram.
ii. Tidak ada pengguna internet yang menggunakan aplikasi Youtube dan Netflix
bersamaan.
iii. Pengguna internet bernama Joni tidak menggunakan aplikasi Tiktok.
 b. Berikan argumentasi valid untuk menyimpulkan “Tidak semua mahasiswa Fasilkom
berangkat ke kampus dengan kendaraan pribadi” dari 3 premis berikut:
i. Tidak ada mahasiswa Fasilkom yang berangkat ke kampus dengan kendaraan
pribadi dan kereta.
ii. Jika mahasiswa Fasilkom yang tidak berangkat ke kampus dengan kereta,
maka mahasiswa Fasilkom tersebut berangkat ke kampus dengan jalan kaki.
iii. Ada mahasiswa Fasilkom yang berangkat ke kampus tidak dengan jalan kaki.

Capaian Pembelajaran #8: Mahasiswa mampu menerapkan metode pembuktian yang tepat
untuk membuktikan sebuah pernyataan.

4. [5+6+5] Buktikan kebenaran dari pernyataan-pernyataan dibawah ini menggunakan bukti

kosong (vacuous proof) atau bukti trivial (trivial proof).
2
a. Jika 0 < 𝑛 < 2, maka 𝑛 − 2𝑛 + 25 ≥ 24
b. Scele dapat diakses bilamana Mahasiswa Fasilkom UI mengumpulkan tugas di
SIAK-NG
𝑛 𝑛
c. Diberikan predikat 𝑃(𝑛) yang menyatakan bahwa “Jika 𝑎 ≥ 𝑏 maka 𝑎 ≥ 𝑏 , dengan
domain bilangan bulat positif”. Buktikan 𝑃(0) bernilai benar.

5. [10+10+10] Tentukan kebenaran dari pernyataan-pernyataan di bawah ini. Buktikan

menggunakan metode pembuktian yang sudah dipelajari jika pernyataan tersebut benar.
Jelaskan jika pernyataan tersebut salah.
a. Untuk setiap bilangan positif x dan y, tidak ada solusi yang memenuhi
4 4
𝑥 + 𝑦 = 625.
b. Akan selalu terdapat minimal 29 anggota perpustakaan resmi yang memilih jadwal
kunjung perpustakaan di waktu yang sama jika terdapat 24 jadwal kunjung
perpustakaan yang dapat dipilih oleh 699 anggota perpustakaan resmi.
1
c. Untuk setiap bilangan x yang irrasional, maka 𝑥
adalah bilangan irrasional.

6. [10+10] Buktikan pernyataan di bawah ini dengan menggunakan metode pembuktian yang
tepat
a. Dengan menggunakan proof by cases, buktikan bahwa pernyataan
𝑚𝑖𝑛(𝑎, 𝑏) + 𝑚𝑎𝑥 (𝑎, 𝑏) = 𝑎 + 𝑏 untuk sembarang a dan b bilangan bulat.
3
b. Buktikan bahwa 2 merupakan bilangan irasional.