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 (p → q) ∨ (p ∧ q) benar?

(p → q) ∨ (p ∧ q)

N =

2.Mudah

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

(b ∨ a) ∧ ¬(b → ¬a)

N =

3.Sederhana

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

c ∨ (b ∧ a)

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

4.Sederhana

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

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

N =

5.Sukar

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

a → cb → c∴ a → b

1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0

6.Sukar

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

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

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

Kunci jawapan

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

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