TUGAS KELOMPOK 2

MATEMATIKA DAN BERPIKIR LOGIS

1. Periksalah dengan tabel kebenaran apakah:

a. −(−𝑝) = 𝑝
b. 𝑝 → 𝑞 = −𝑝 ∨ 𝑞
c. −(𝑝 ∧ 𝑞) = −𝑝 ∨ −𝑞
d. −(𝑝 ∨ 𝑞) = −𝑝 ∨ −𝑞

2. Dengan suku pengkuantifikasi dan semesta yang diberikan, lambangkan pernyataan:

a. “Semua pegawai negeri di Indonesia harus berjanji untuk setia pada negara”,
dengan semesta
i. S = himpunan pegawai negeri di Indonesia.
ii. 𝑆 = himpunan penduduk Indonesia.
b. “Beberapa segitiga memiliki sisi yang semuanya sama panjang”, dengan semesta
i. 𝑆 = himpunan segitiga.
ii. 𝑆 = himpunan bangun pada bidang datar.

3. Misalkan himpunan 𝑆 = {1,2,3, … , 10} adalah semesta yang didefinisikan untuk tiga
predikat berikut ini:
𝐴(𝑥): 𝑥 adalah bilangan genap.
𝐵(𝑥): 𝑥 memenuhi 2𝑥 < 10.
𝐶(𝑥): 𝑥 adalah bilangan yang memenuhi deret Fibonacci dengan dua bilangan awalnya
{0,1}.
Periksa kebenaran proposisi berikut ini:
a. (∀𝑥 ∈ 𝑆)[−𝐴(𝑥) ⋁ 𝐶(𝑥)].
b. (∃𝑥 ∈ 𝑆)[𝐵(𝑥) ∧ (𝐴(𝑥) → 𝐶(𝑥))].

4. Diberikan proposisi: “Semua bilangan real negatif dan memenuhi pertidaksamaan 𝑥 2 +

3𝑥 − 10 ≤ 0.”
a. Tuliskan lambang proposisi di atas dengan notasi predikat berkuantifikasi dan
semesta himpunan bilangan real, serta tentukan nilai kebenarannya.
b. Tuliskan lambang kesetarannya menggunakan suku pengkuantifikasi khusus dan
nyatakan dalam kalimat verbal.
c. Tuliskan lambang negasinya menggunakan suku pengkuantifikasi khusus dan
nyatakan dalam kalimat verbal, serta tentukan nilai kebenarannya.

5. Diberikan proposisi: "Setiap mahasiswa, jika ia mahasiswa tingkat pertama IPB maka
kuliahnya di Gedung CCR atau Teaching Lab."
a. Lambangkan proposisi di atas dengan semesta himpunan mahasiswa di Indonesia
b. Tentukan negasi proposisi tersebut dengan suku pengkuantifikasi khusus.

6. Terkait dengan konsep argumen, mana saja pernyataan yang benar?

a. Argumen dengan premis-premis 𝑃1 , 𝑃2 , … , 𝑃𝑛 dan kesimpulan 𝐾 disebut sah
apabila (𝑃1 ∧ 𝑃2 ∧ … ∧ 𝑃𝑛 ) → 𝐾 adalah suatu tautologi.
 b. Pada suatu argument sah, jika semua premisnya benar maka kesimpulannya
benar.
c. Jika suatu argument adalah sah, maka semua premisnya pasti benar.
d. Jika suatu argument adalah sah, maka kesimpulannya pasti benar.

7. Gunakan aturan inferensia untuk memeriksa keabsahan dari argumen-argumen berikut:

a. Bambang tinggal di daerah pegunungan. Jika Bambang penakut, maka Bambang
tidak akan tinggal di daerah pegunungan. Bambang tidak suka kesunyian atau
Bambang penakut. Jadi, Bambang tidak suka kesunyian.
b. Jika Hipotesis Riemann benar, maka Teorema Littlewood benar. Juka Hipotesis
Riemann salah, maka Teorema Littlewood benar. Jadi, Teorema Littlewood benar.
c. Jika Udin pulang, maka Yanto dan Maman tidak pulang. Jika Yanto pulang, maka
Udin juga pulang. Yanto atau Maman pulang. Jadi, Maman pulang.
d. Hari ini cuacanya mendung. Kita akan berenang hari ini hanya jika cuacanya
tidak mendung. Jika kita tidak berenang, maka kita akan bakar sate. Jika kita
bakar sate, maka kita akan pulang sebelum malam. Jadi, kita akan pulang
sebelum malam.

8. Gunakan metode TKP untuk memeriksa keabsahan dari masing-masing argumen berikut:
a. 𝑃1: (𝑝 ∧ 𝑞) → (𝑟 ∧ 𝑠), 𝑃2: −𝑟 ∨ −𝑠, 𝐾: −𝑝 ∨ −𝑞
b. 𝑃1: −[(𝑎 ∨ 𝑏) → −𝑐], 𝑃2: −𝑑 ∨ −𝑒 ∨ −𝑐, 𝑃3: 𝑎 → 𝑑, 𝑃4: 𝑒, 𝐾: 𝑏
c. 𝑃1: 𝑎 → 𝑏, 𝑃2: (𝑏 ∧ 𝑐) → 𝑑, 𝑃3: 𝑑, 𝐾: 𝑎 ∧ 𝑑
d. 𝑃1: −𝑎 → 𝑏, 𝑃2: (𝑏 ∧ −𝑐) → −𝑑, 𝑃3: −𝑎, 𝐾: 𝑑
e. 𝑃1: 𝑎 → (−𝑏 ∨ −𝑐), 𝑃2: −𝑒 → 𝑏, 𝑃3: −𝑎 → 𝑑, 𝑃4: −𝑑, 𝐾: 𝑐 → 𝑒

9. Berikut ini adalah percakapan Gatot dan Kaca tentang teman-teman mereka: Semar,
Petruk, Gareng, Bagong, dan Cepot.
Gatot: "Tidak mungkin lah yauw, jika Gareng atau Bagong masuk kuliah maka Cepot
tidak masuk kuliah."
Kaca: "Di daftar hadir, di antara Semar, Petruk, Cepot, ada yang tidak masuk kuliah."
Gatot: "Mestinya, jika Gareng masuk kuliah maka Semar juga masuk kuliah."
Kaca: "Petruk masuk kuliah, koq."
Gatot: "Berarti, Bagong masuk kuliah dong!"
Percakapan di atas adalah contoh sebuah argumen. Periksalah kesahan argumen tersebut
dengan :
a. aturan inferensia (dapat dibantu dengan tabel kebenaran untuk menentukan
kesahannya).
b. tabel kebenaran pendek (TKP)

10. Buatlah sebuah contoh soal argumen dengan melibatkan minimal 4 proposisi. Selesaikan
contoh soal tersebut dengan metode TKP, aturan inferensia atau tabel kebenaran.
Pembagian Soal yang dikerjakan dalam Kelompok
Kelompok No yang dikerjakan Kelompok No yang dikerjakan
1 1a, 2a, 4, 6, 7d, 8a, 9, 10 6 1b, 2b, 3, 6, 7c, 8e, 9, 10
2 1b, 2b, 5, 6, 7c, 8b, 9, 10 7 1c, 2a, 4, 6, 7b, 8d, 9, 10
3 1c, 2a, 3, 6, 7b, 8c, 9, 10 8 1d, 2b, 5, 6, 7a, 8c, 9, 10
4 1d, 2b, 5, 6, 7a, 8d, 9, 10 9 1a, 2a, 4, 6, 7d, 8b, 9, 10
5 1a, 2a, 4, 6, 7d, 8e, 9, 10 10 1b, 2b, 5, 6, 7c, 8a, 9, 10