1.Mudah
Lengkapi tabel kebenaran (1 = benar, 0 = salah). Pada berapa baris N bernilai benar (p → q) ∧ (q ↔ p)?
(p → q) ∧ (q ↔ p)
N =
Lembar kerja Logika proposisional & pembuktian dengan jawaban
2.Mudah
Tepat satu baris tabel kebenaran membuat (b ∧ a) ∨ (a ∨ b) salah. Klik baris itu.
(b ∧ a) ∨ (a ∨ b)
- 1a = 1, b = 1
- 2a = 1, b = 0
- 3a = 0, b = 1
- 4a = 0, b = 0
3.Sedang
Rumus mana yang ekuivalen secara logis dengan ¬(a → b)? Klik rumus itu.
¬(a → b)
- 1a ∧ ¬b
- 2¬a ∨ ¬b
- 3a → ¬b
- 4¬a → ¬b
4.Sedang
Apakah ((c → a) ∧ (a → b)) → (c → b) tautologi, kontradiksi, atau kontingensi? Klik jawaban Anda.
((c → a) ∧ (a → b)) → (c → b)
- 1tautologi
- 2kontradiksi
- 3kontingensi
5.Sulit
Pernyataan mana yang ekuivalen dengan ¬∀x (F(x) → G(x)), dengan negasi dipindahkan sampai ke dalam? Klik pernyataan itu.
¬∀x (F(x) → G(x))
- 1∃x (F(x) ∧ ¬G(x))
- 2∀x (F(x) → ¬G(x))
- 3∃x (F(x) → ¬G(x))
- 4∀x (F(x) ∧ ¬G(x))
6.Sulit
Argumen dengan premis p → r; ¬p dan kesimpulan ¬r tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.
p → r¬p∴ ¬r
- 1p = 1, r = 1
- 2p = 1, r = 0
- 3p = 0, r = 1
- 4p = 0, r = 0
Kunci jawaban
- 1. N = 2
- 2. a = 0, b = 0
- 3. a ∧ ¬b
- 4. tautologi
- 5. ∃x (F(x) ∧ ¬G(x))
- 6. p = 0, r = 1
Penyelesaian lengkap langkah demi langkah: latih topik ini di examproblems.com.