Tugas 1 Matematika Diskret 1

Logika Proposisi, Logika Predikat, dan Aturan Inferensi

Tuliskan jawaban lengkap beserta langkah-langkah pengerjaannya.

Jawaban d ​ itulis tangan ​di kertas A
​ 4/Letter/Folio/Folio bergaris​, dikumpulkan S
​ enin 14
Oktober 2019 jam 15:00 WIB di Lab Babe​. Jangan lupa tulis ​Nama, NPM, ​dan Kelas ​di
lembar jawab.

A. [30] Logika Proposisi

1. [3] Diketahui proposisi berikut ini:
p: Kamu sakit flu
q: Kamu tidak mengikuti ujian MD 1
r: Kamu lulus mata kuliah MD 1
Tuliskan proposisi-proposisi berikut ini dalam kalimat Bahasa Indonesia yang baik dan
benar
a. p ⋀ q ⋀ r
b. ¬q ↔ r
c. (p → ¬r) ⋁ (q → ¬r)

2. [3] Diketahui proposisi-proposisi sebagai berikut:

p: Kamu mendapat nilai UAS di atas 85

q: Kamu mengerjakan setiap soal latihan di buku paket
r: Kamu mendapat nilai A di mata kuliah MD 1

Ubahlah kalimat-kalimat di bawah ini ke dalam FLP menggunakan ​p, q, r dan operator
yang sesuai
a. Untuk mendapat nilai A di mata kuliah MD 1, kamu perlu untuk mendapat nilai di
atas 85 saat UAS.
b. Kamu mendapat nilai UAS di atas 85 dan mengerjakan setiap soal latihan di buku
paket adalah syarat cukup untuk mendapat nilai A di mata kuliah MD 1
c. Kamu mendapat nilai A di mata kuliah MD 1 jika dan hanya jika kamu mendapat nilai
UAS di atas 85 atau kamu mengerjakan setiap soal latihan di buku paket

3. [9] Tunjukkan bahwa pernyataan-pernyataan di bawah ini valid tanpa menggunakan

tabel kebenaran
a. p → (p ⋁ q )
b. [p ⋀ (p → q )] → q
c. (p ⋁ q ) ⋀ (¬p ⋁ r) → (q ⋁ r)
 4. [9] Selidiki apakah setiap pasangan pernyataan di bawah ini ekuivalen secara logika
(​logically equivalent​)
a. (p ⋀ q ) → r dan (p → r) ⋀ (q → r)
b. (p → q ) ⋁ (p → r) dan p → (q ⋁ r)
c. ¬(p ↔ q ) dan ¬p ↔ q

5. [6] Lima sahabat memiliki sebuah grup Line. Diketahui beberapa informasi sebagai
berikut: Kevin atau Hani atau keduanya sedang melakukan ​chatting di grup. Randi atau
Vijay tetapi tidak keduanya sedang melakukan ​chatting di grup. Jika Abi sedang ​chatting
di grup, Randi juga. Vijay dan Kevin antara sedang ​chatting di grup dua-duanya atau
tidak sama sekali. Jika Hani sedang ​chatting​ di grup, maka Abi dan Kevin juga.
Apakah kamu bisa menentukan siapa yang sedang ​chatting di grup dengan informasi
tersebut? Jelaskan jawabanmu.

B. [40] Logika Predikat

6. [4] Diketahui S(x) adalah pernyataan “x adalah seorang ​stand up comedian​” dan L(x)
adalah pernyataan “x lucu” dengan domain x adalah seluruh manusia. Tuliskan dalam
bahasa Indonesia yang baik dan benar kuantifikasi berikut ini
a. ∀x(S(x) → F (x))
b. ∀x(S(x) ⋀ F (x))
c. ∃x(S(x) → F (x))
d. ∃x(S(x) ⋀ F (x))

7. [6] Tentukan nilai kebenaran dari pernyataan berikut ini jika diketahui domain n adalah
semua bilangan bulat.
a. ∃n(n =− n)
b. ∀n(n2 ≥ 0)
c. ∃n ( n2 ≥ 0 )

8. [6] Apakah ∀x(P (x) → Q(x)) dan ∀xP (x) → ∀xQ(x) setara? Jelaskan jawabanmu.

9. [6] Diketahui M(x,y) adalah “x mengirimkan email pada y” dan T(x,y) adalah “x menelpon
y” dimana x dan y adalah seluruh mahasiswa di kelasmu. Gunakan kuantifikasi untuk
menuliskan kalimat-kalimat di bawah ini (tuliskan asumsi jika dibutuhkan)
a. Tidak ada mahasiswa di kelasmu yang menelpon Mia.
b. Setiap mahasiswa di kelasmu pasti mendapatkan email atau ditelpon oleh
mahasiswa lain di kelasmu.
c. Ada setidaknya dua orang mahasiswa di kelasmu di mana di antara mereka
berdua ada mahasiswa pertama yang mengirimkan email pada mahasiswa lain
di kelasmu dan mahasiswa kedua menelpon mahasiswa pertama.
 10. [6] Tuliskan kalimat-kalimat di bawah ini menggunakan operator matematika dan
operator logika, predikat dan kuantor yang sesuai dimana domain pembicaraannya
adalah semua bilangan bulat.
a. Selisih dua bilangan bulat tidak selalu positif
b. Hasil penjumlahan kuadrat dua bilangan bulat lebih besar atau sama dengan
kuadrat hasil penjumlahannya.
c. Rata-rata dua bilangan bulat positif adalah bilangan bulat positif juga

11. [6] Tuliskan negasi dari pernyataan-pernyataan di bawah ini sedemikian sehingga
simbol negasi sudah dievaluasi pada kuantor (tidak ditulis mendahului kuantor).
a. ∀x∃y∀zT (x, y , z )
b. ∃x∃yP (x, y ) ⋁ ∀x∃yQ(x, y )
c. ∀x∃y(P (x, y ) → Q(x, y ))

12. [6] Tuliskan ekspresi berikut dalam bahasa Indonesia yang baik dan benar. Domain dari
x dan y adalah semua bilangan riil.
a. ∃x∃y(((x ≤ 0) ⋀ (y ≤ 0)) → (x − y > 0))
b. ∀x∀y((x =/ 0) ⋀ (y =/ 0) ↔ (xy =/ 0))
c. ∀x∀y∃z(x + y = z )

C. [30] Aturan Inferensi

13. [2] Tunjukkan bahwa argumentasi dengan premis p1 , p2 , ..., pn dan kesimpulan q → r
valid, jika argumen p1 , p2 , ..., pn , q dan kesimpulan r valid.

14. [5] Dengan menggunakan argumentasi yang diberikan pada soal nomor (13) dan
aturan-aturan inferensi logika proposisi lainnya, tunjukkan bahwa argumen dengan
premis:
● (p ⋀ t) → (r ⋁ s)
● q → (u ⋀ t)
● u→p
● ¬s
dan kesimpulan q → r adalah valid.

15. [9] Diberikan dua premis berikut:

● Menjahit itu susah dan tidak banyak perempuan yang suka menjahit.
● Jika memasukkan benang itu mudah, maka menjahit tidaklah susah.
 Tentukan apakah kesimpulan berikut dapat diperoleh melalui argumentasi yang valid
dari dua pernyataan di atas. Jika valid, tunjukkan argumentasinya. Jika tidak, berikan
alasannya.

a. Memasukkan benang itu tidak mudah, jika banyak perempuan suka menjahit
b. Menjahit itu tidak susah atau memasukkan benang itu tidak mudah
c. Jika tidak banyak perempuan yang suka menjahit, maka entah memasukkan
benang itu tidak mudah atau menjahit itu tidak susah

16. [5] Berikan argumentasi valid untuk menyimpulkan “Satwa liar memiliki ukuran kecil” dari
tiga premis berikut:
● Semua satwa liar memiliki warna yang indah
● Tidak ada satwa berukuran besar yang hidup di hutan
● Satwa yang tidak hidup di hutan tidak memiliki warna yang indah

17. [9] Tunjukkan bahwa argumentasi berikut valid:

a. “Ananda, seorang mahasiswa di kelas ini, memiliki sepeda lipat. Setiap orang
yang memiliki sepeda lipat pergi ke kampus menggunakan kereta.
Kesimpulannya, ada mahasiswa di kelas ini yang pergi ke kampus menggunakan
kereta.”
b. “Setiap film yang disutradarai oleh Spielberg adalah film terkenal. Spielberg
menyutradarai sebuah film yang bercerita tentang aliens.
Kesimpulannya, ada film terkenal yang bercerita tentang aliens.”
c. “Ada seseorang di kampus ini yang pernah pergi ke Mars. Setiap orang yang
pernah pergi ke Mars pastilah pernah mengunjungi Bali.
Kesimpulannya, ada seseorang di kampus ini yang pernah mengunjungi Bali.”