UTS DASAR DASAR MATEMATIKA 2021

Dosen Pengampu: Ronal Rifandi, S.Pd., M.Sc.

Berdoalah sebelum memulai ujian. Kerjakanlah soal berikut dengan cermat.

Jangan bekerja sama dengan teman/orang lain.

1. Andaikan “p” menyatakan “Cuaca dingin” dan “q” menyatakan “hari hujan”. Berikanlah suatu
kalimat verbal yang menyatakan masing-masing dari preposisi berikut ini!
a. ~𝑝
b. 𝑞 v (~p)
c. 𝑝 → 𝑞
d. 𝑝 ^ (~𝑞) → 𝑝

2. Tentukanlah nilai-nilai kebenaran proposisi-proposisi composit berikut ini:

a. Jika 3 + 2 = 7, maka 4 + 4 = 6 (ini bernilai Benar atau Salah? Berikan alasanmu!)
b. Tidak benar bahwa 2 + 2 =5, jika dan hanya jika 4 + 4 = 8 (ini bernilai Benar atau Salah?
Berikan alasanmu!)
c. Adalah salah bahwa jika Paris terletak di Inggris, maka London terletak di Prancis. (ini
bernilai Benar atau Salah? Berikan alasanmu!)

3. Aplikasikanlah pemahaman Saudara tentang Tautology, Kontradiksi dan Kontingensi pada soal
berikut ini. Termasuk pada bagian manakah pernyataan majemuk berikut ini dan jelaskan
alasanmu! ~[ (p˄q) ˅ r] → (~q→~r)

4. Tunjukkanlah apakah pernyataan majemuk di bawah ini ekuivalen atau tidak, jelaskanlah!
p↔q ≡ (p→q)˄(q→p)

5. Buatlah sebuah contoh argumen yang penarikan kesimpulannya dengan menggunakan teknik
Inferensi induktif dan apa yang bisa Saudara interpretasikan tentang kesimpulan yang
diperoleh tersebut! (Contoh tidak boleh sama dengan yang sudah pernah dibahas di kelas)

6. Buatlah sebuah contoh argumen yang penarikan kesimpulannya menggunakan pendekatan

inferensi deduktif dan berikanlah interpretasi Saudara tentang kesimpulan yang diperoleh
tersebut! (Contoh tidak boleh sama dengan yang sudah pernah dibahas di kelas)

7. Aplikasikanlah aturan penarikan kesimpulan dan aturan penukaran pada penyusunan bukti
formal dari argumen-argumen di bawah ini:
a. p→(q ˄ r )
(q˅s)→t
S˅p
‫؞‬t
b. p →(q ˄ r )
(p ˄ s )
(t ˄ t ) ˅ ~(~u ˄ s)
u→~(q ˅ r)
‫؞‬t
8. Aplikasikanlah aturan pembuktian kondisional dalam pembuktian validitas argumen berikut
ini:
(a v b) → (c ^ d)
(d v e) → f
∴a→f

9. Analisislah bukti formal pengujian validitas argumen yang diberikan di bawah ini. Berilah
keterangan di samping setiap baris nya:
a →(b→c)
c →(d˄e)
‫؞‬a→(b→d)
Pembuktian:
1. a →(b→c) ......
2. c →(d˄e) ......
3. a ......
4. b ......
5. b →c ......
6. c ......
7. (d˄e) ......
8. D ......

10. Buktikanlah validitas argumen berikut dengan pembuktian tidak langsung!

p˅ (q˄r)
p→~r
r
‫؞‬q