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 a ↔ ¬(a → b) benar?

a ↔ ¬(a → b)

N =

2.Mudah

Berapa banyak baris N yang ada pada jadual kebenaran lengkap bagi ((b → ¬c) → a) ∧ (¬c ∧ a)?

((b → ¬c) → a) ∧ (¬c ∧ a)

N =

3.Sederhana

Anda hendak membuktikan b → ¬c secara percanggahan. Pernyataan manakah yang anda andaikan pada permulaan? Klik pernyataan itu.

b → ¬c

1¬b → ¬¬c
2¬b ∧ ¬¬c
3¬b ∧ ¬c
4b ∧ ¬¬c

4.Sederhana

Formula manakah yang setara secara logik dengan ¬(p ∨ r)? Klik formula itu.

¬(p ∨ r)

1¬p ∧ r
2¬p ∨ ¬r
3¬p ∧ ¬r
4p ∨ ¬r

5.Sukar

Berapa banyak daripada 16 baris jadual kebenaran menjadikan ¬(((s ∧ r) → ¬(p ∨ r)) ∧ (¬(¬s ∧ q) ∧ q)) benar? Panggil nombor ini N.

¬(((s ∧ r) → ¬(p ∨ r)) ∧ (¬(¬s ∧ q) ∧ q))

N =

6.Sukar

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

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

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

Kunci jawapan

1. N = 3
2. N = 8
3. b ∧ ¬¬c
4. ¬p ∧ ¬r
5. N = 14
6. ∃x (A(x) ∧ ∀y ¬R(x, y))

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