Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Tepat satu baris jadual kebenaran menjadikan b ∨ a palsu. Klik baris itu.

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

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

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

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. 3(c ∧ b) ∨ (c ∧ a)
4. 4c ∧ (b ∨ a)

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

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

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