Lembaran kerja Logik proposisi & pembuktian dengan jawapan

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

Tepat satu baris jadual kebenaran menjadikan (¬(b → c) → a) ∨ (c ↔ b) palsu. Klik baris itu.

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

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

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

Adakah (q ∧ p) → q tautologi, percanggahan atau kontingensi? Klik jawapan anda.

1. 1tautologi
2. 2percanggahan
3. 3kontingensi

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)

Premis r → q; r diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

1. 1¬q
2. 2¬r
3. 3q
4. 4r ∧ ¬q