Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Jadual kebenaran lengkap bagi (a ∧ (b → c)) → ((¬c ∧ a) ∧ b) ditulis. Dalam berapa baris N a = 1 dan c = 0?

Jadual kebenaran lengkap bagi (p ∧ q) ∨ (r → q) ditulis. Dalam berapa baris N p = 1 dan r = 0?

Formula manakah yang setara secara logik dengan b ↔ c? Klik formula itu.

1. 1b ∧ c
2. 2(b → c) ∧ (c → b)
3. 3(b → c) ∧ (¬c → ¬b)
4. 4(b → c) ∨ (c → b)

Anda hendak membuktikan q → (p ∨ r) secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

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

Pernyataan manakah yang setara dengan ¬∃x ∀y R(x, y), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

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

Hujah dengan premis b → (a ∨ c); b dan kesimpulan a adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0