Lembaran kerja Logik proposisi & pembuktian dengan jawapan

Lembaran kerja Logik proposisi & pembuktian percuma untuk dicetak: 6 soalan dari mudah hingga tahap peperiksaan, dengan skema jawapan. Cetak atau simpan sebagai PDF.

Lembaran kerja baharu Berlatih dalam talian dengan petunjuk

Untuk pensyarah dan guru: percuma untuk dicetak, disalin dan digunakan di dalam kelas. Setiap lembaran kerja baharu mempunyai nilai baharu dan skema jawapannya sendiri. Pautan ke ExamProblems di halaman kursus anda amat dihargai.

Nama: ____________________ Tarikh: ____________

1.Mudah

Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah (¬b → a) ∨ (¬b ↔ a) benar?

(¬b → a) ∨ (¬b ↔ a)

N =

2.Mudah

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

(q ∧ ¬p) ∨ (p ∨ q)

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

3.Sederhana

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

a ∨ (c ∧ b)

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

4.Sederhana

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

q → (q ∧ p)

1tautologi
2percanggahan
3kontingensi

5.Sukar

Pernyataan manakah yang setara dengan ¬∃x (F(x) ∧ G(x)), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

¬∃x (F(x) ∧ G(x))

1∃x (F(x) → ¬G(x))
2∀x (F(x) → ¬G(x))
3∀x (F(x) ∧ ¬G(x))
4∀x (¬F(x) ∧ ¬G(x))

6.Sukar

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

¬∀x (P(x) → ∃y R(x, y))

1∃x (P(x) → ∀y ¬R(x, y))
2∃x (P(x) ∧ ∀y ¬R(x, y))
3∀x (P(x) ∧ ∀y ¬R(x, y))
4∃x (¬P(x) ∧ ∃y R(x, y))

Kunci jawapan

1. N = 3
2. p = 0, q = 0
3. (a ∨ c) ∧ (a ∨ b)
4. kontingensi
5. ∀x (F(x) → ¬G(x))
6. ∃x (P(x) ∧ ∀y ¬R(x, y))

Penyelesaian langkah demi langkah yang lengkap: berlatih topik ini di examproblems.com.