Soal 3 (proposisi)
Perhatikan proposisi-proposisi berikut. Dengan membuat tabel kebenaran, tentukan apakah ia
merupakan tautologi, kontradiksi, atau kontingensi.
(a) (𝑝 → 𝑞) → (−𝑞 → −𝑝)
(b) [𝑝 ∨ (𝑞 ∧ −𝑝)] → (−𝑝 → 𝑞)
(c) 𝑝 → [𝑝 → (𝑞 ∧ −𝑝)]
(d) (𝑝 ∧ 𝑞) → (−𝑝 ∨ −𝑞)
Soal 4 (predikat)
Nyatakan kalimat-kalimat berikut dengan simbol predikat, kuantifikasi, dan semesta.
(a) Semua mobil menggunakan bensin.
(b) Ada mobil yang tidak menggunakan bensin.
(c) Pesepeda selalu menyebalkan.
(d) Beberapa pesepeda menyebalkan.
(e) Ada mahasiswa yang jika ia tertawa maka ia akan sesak napas.
(a) 𝑃1 : 𝑝 ∧ 𝑞
𝑃2 : 𝑝 → (𝑟 ∨ 𝑠)
𝑃3 : −𝑠
𝐾: 𝑞 → 𝑟
(b) 𝑃1 : 𝑎 ∨ −𝑏
𝑃2 : 𝑏 ∧ 𝑐
𝐾: 𝑎 ∧ 𝑐
(c) 𝑃1 : 𝑛 → 𝑚
𝑃2 : −𝑛 → −𝑝
𝐾: 𝑚 → 𝑝
(d) 𝑃1 : 𝑥 ↔ 𝑦
𝑃2 : 𝑦 → 𝑧
𝐾: 𝑥 ↔ 𝑧
Soal 8 (induksi)
Gunakan induksi matematika untuk membuktikan pernyataan-pernyataan berikut untuk setiap 𝑛
bilangan asli.
(a) 𝑛3 − 5𝑛 bernilai genap
(b) 5𝑛2 > 4𝑛
𝑛(2𝑛+1)(2𝑛−1)
(c) 12 + 32 + 52 + ⋯ + (2𝑛 − 1)2 = 3