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 baharuBerlatih 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 (¬p ∧ ¬(r → q)) ∧ ((¬q ↔ ¬p) ∧ r) ditulis. Dalam berapa baris N q = 1 dan r = 0?

(¬p ∧ ¬(r → q)) ∧ ((¬q ↔ ¬p) ∧ r)
N =
2.Mudah
aba ∨ ¬b11100100

Tepat satu baris jadual kebenaran menjadikan a ∨ ¬b palsu. Klik baris itu.

a ∨ ¬b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Sederhana
tautologipercanggahankontingensi

Adakah (r → p) ↔ (¬p → ¬r) tautologi, percanggahan atau kontingensi? Klik jawapan anda.

(r → p) ↔ (¬p → ¬r)
  1. 1tautologi
  2. 2percanggahan
  3. 3kontingensi
4.Sederhana
(r ∧ q) ∨ (r ∧ p)(r ∨ q) ∧ (r ∨ p)(r ∧ q) ∨ pr ∨ (q ∧ p)

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

r ∧ (q ∨ p)
  1. 1(r ∧ q) ∨ (r ∧ p)
  2. 2(r ∨ q) ∧ (r ∨ p)
  3. 3(r ∧ q) ∨ p
  4. 4r ∨ (q ∧ p)
5.Sukar

Berapa banyak daripada 16 baris jadual kebenaran menjadikan ((d ∧ ¬c) ↔ (¬d ∧ b)) ∨ (a → ¬b) benar? Panggil nombor ini N.

((d ∧ ¬c) ↔ (¬d ∧ b)) ∨ (a → ¬b)
N =
6.Sukar
∃x ∀y ¬R(x, y)∃y ∀x ¬R(x, y)∀x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)

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. 1∃x ∀y ¬R(x, y)
  2. 2∃y ∀x ¬R(x, y)
  3. 3∀x ∀y ¬R(x, y)
  4. 4∀x ∃y ¬R(x, y)

Kunci jawapan

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

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