1.Mudah
Tepat satu baris tabel kebenaran membuat b ∨ (a ↔ ¬b) salah. Klik baris itu.
b ∨ (a ↔ ¬b)
- 1a = 1, b = 1
- 2a = 1, b = 0
- 3a = 0, b = 1
- 4a = 0, b = 0
Lembar kerja Logika proposisional & pembuktian dengan jawaban
2.Mudah
Tabel kebenaran lengkap (r → p) ∧ (¬(q → ¬r) → ¬p) sudah dituliskan. Pada berapa baris N bernilai q = 1 dan r = 0?
(r → p) ∧ (¬(q → ¬r) → ¬p)
N =
3.Sedang
Anda ingin membuktikan ¬a → (b ∨ c) dengan kontradiksi. Pernyataan mana yang Anda andaikan di awal? Klik pernyataan itu.
¬a → (b ∨ c)
- 1¬a ∧ ¬(b ∨ c)
- 2¬¬a → ¬(b ∨ c)
- 3¬¬a ∧ (b ∨ c)
- 4¬¬a ∧ ¬(b ∨ c)
4.Sedang
Rumus mana yang ekuivalen secara logis dengan ¬(q ∨ r)? Klik rumus itu.
¬(q ∨ r)
- 1¬q ∧ ¬r
- 2¬q ∧ r
- 3¬q ∨ ¬r
- 4q ∨ ¬r
5.Sulit
Argumen dengan premis c → a; ¬c dan kesimpulan ¬a tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.
c → a¬c∴ ¬a
- 1a = 1, c = 1
- 2a = 1, c = 0
- 3a = 0, c = 1
- 4a = 0, c = 0
6.Sulit
Argumen dengan premis a → c; ¬a dan kesimpulan ¬c tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.
a → c¬a∴ ¬c
- 1a = 1, c = 1
- 2a = 1, c = 0
- 3a = 0, c = 1
- 4a = 0, c = 0
Kunci jawaban
- 1. a = 0, b = 0
- 2. N = 2
- 3. ¬a ∧ ¬(b ∨ c)
- 4. ¬q ∧ ¬r
- 5. a = 1, c = 0
- 6. a = 0, c = 1
Penyelesaian lengkap langkah demi langkah: latih topik ini di examproblems.com.