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) benar?

¬((b → a) ∧ b)

N =

2.Mudah

Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah p → (q ↔ r) benar?

p → (q ↔ r)

N =

3.Sederhana

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

¬r → p

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

4.Sederhana

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

¬(p ∨ r)

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

5.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))

6.Sukar

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

c → (a ∨ b)c∴ a

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

Kunci jawapan

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

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