Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Tepat satu baris jadual kebenaran menjadikan (¬p ∧ ¬q) ↔ (p ↔ q) palsu. Klik baris itu.

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

Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah (¬r ∧ p) ∧ (¬r → q) benar?

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

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

Formula manakah yang setara secara logik dengan c ∧ (b ∨ a)? Klik formula itu.

1. 1(c ∧ b) ∨ a
2. 2(c ∧ b) ∨ (c ∧ a)
3. 3c ∨ (b ∧ a)
4. 4(c ∨ b) ∧ (c ∨ a)

Hujah dengan premis r → (p ∨ q); r dan kesimpulan p adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

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∃y ∀x ¬R(x, y)
3. 3∃x ∀y ¬R(x, y)
4. 4∀x ∀y ¬R(x, y)