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 ∧ c) ∧ (¬b ∨ a) benar?

(a ∧ c) ∧ (¬b ∨ a)

N =

2.Mudah

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

(a ∨ b) → ((¬c → b) → ¬a)

N =

3.Sederhana

Dalam berapa daripada 8 baris jadual kebenarannya ¬((q → ¬r) ∧ p) ∨ ¬(q ↔ ¬r) benar? Panggil nombor ini N.

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

N =

4.Sederhana

Formula manakah yang setara secara logik dengan p ↔ r? Klik formula itu.

p ↔ r

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

5.Sukar

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

¬∃x (A(x) ∧ B(x))

1∀x (A(x) ∧ ¬B(x))
2∀x (A(x) → ¬B(x))
3∃x (¬A(x) ∧ ¬B(x))
4∀x (¬A(x) ∧ ¬B(x))

6.Sukar

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

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

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

Kunci jawapan

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

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