Lembar kerja Logika proposisional & pembuktian dengan jawaban

Tabel kebenaran lengkap (c ∧ (b → a)) ∨ (¬c ↔ b) sudah dituliskan. Pada berapa baris N bernilai a = 1 dan b = 0?

Tepat satu baris tabel kebenaran membuat ¬b → (b ∨ ¬a) salah. Klik baris itu.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Rumus mana yang ekuivalen secara logis dengan p ∨ (r ∧ q)? Klik rumus itu.

1. 1p ∧ (r ∨ q)
2. 2(p ∧ r) ∨ (p ∧ q)
3. 3(p ∨ r) ∧ q
4. 4(p ∨ r) ∧ (p ∨ q)

Pada berapa dari 8 baris tabel kebenarannya (¬p ∧ r) ∨ ¬((r ∨ q) ∨ ¬p) bernilai benar? Sebut bilangan ini N.

Pernyataan mana yang ekuivalen dengan ¬∀x ∃y R(x, y), dengan negasi dipindahkan sampai ke dalam? Klik pernyataan itu.

1. 1∀x ∃y ¬R(x, y)
2. 2∃y ∀x ¬R(x, y)
3. 3∃x ∀y ¬R(x, y)
4. 4∀x ∀y ¬R(x, y)

Argumen dengan premis r → p; p dan kesimpulan r tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.

1. 1p = 1, r = 1
2. 2p = 1, r = 0
3. 3p = 0, r = 1
4. 4p = 0, r = 0