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

Tepat satu baris jadual kebenaran menjadikan ¬(q ↔ p) → q palsu. Klik baris itu.

¬(q ↔ p) → q

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

2.Mudah

Tepat satu baris jadual kebenaran menjadikan ¬((p → q) ∨ (p ↔ q)) benar. Klik baris itu.

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

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

3.Sederhana

Adakah (c ∧ b) → c tautologi, percanggahan atau kontingensi? Klik jawapan anda.

(c ∧ b) → c

1tautologi
2percanggahan
3kontingensi

4.Sederhana

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

¬(a ∧ c)

1¬a ∧ c
2¬a ∧ ¬c
3¬a ∨ ¬c
4¬a ∨ c

5.Sukar

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

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

N =

6.Sukar

Pernyataan manakah yang setara dengan ¬∃x (P(x) → Q(x)), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

¬∃x (P(x) → Q(x))

1∀x (P(x) → ¬Q(x))
2∃x (P(x) ∧ ¬Q(x))
3∀x (¬P(x) → ¬Q(x))
4∀x (P(x) ∧ ¬Q(x))

Kunci jawapan

1. p = 1, q = 0
2. p = 1, q = 0
3. tautologi
4. ¬a ∨ ¬c
5. N = 11
6. ∀x (P(x) ∧ ¬Q(x))

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