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

Jadual kebenaran lengkap bagi (q ∨ (r → ¬p)) → ((q ∨ ¬p) ∨ r) ditulis. Dalam berapa baris N q = 1 dan r = 0?

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

N =

2.Mudah

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

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

N =

3.Sederhana

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

c → (b ∨ a)

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

4.Sederhana

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

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

N =

5.Sukar

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

¬∀x ∃y R(x, y)

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

6.Sukar

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

¬∃x ∀y R(x, y)

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

Kunci jawapan

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

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