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.

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

Berapa banyak baris N yang ada pada jadual kebenaran lengkap bagi ¬((p ∨ q) ↔ ((p → r) ∧ (¬q ∨ r)))?

¬((p ∨ q) ↔ ((p → r) ∧ (¬q ∨ r)))
N =
2.Mudah
abc¬a ∧ (b ∧ c)111?110?101?100?011?010?001?000?

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

¬a ∧ (b ∧ c)
N =
3.Sederhana
tautologipercanggahankontingensi

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

(c ∧ b) → c
  1. 1tautologi
  2. 2percanggahan
  3. 3kontingensi
4.Sederhana
(q ∨ p) ∧ (q ∨ r)(q ∧ p) ∨ (q ∧ r)(q ∧ p) ∨ rq ∨ (p ∧ r)

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

q ∧ (p ∨ r)
  1. 1(q ∨ p) ∧ (q ∨ r)
  2. 2(q ∧ p) ∨ (q ∧ r)
  3. 3(q ∧ p) ∨ r
  4. 4q ∨ (p ∧ r)
5.Sukar
aca ∨ ca¬c11100100

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

a ∨ ca∴ ¬c
  1. 1a = 1, c = 1
  2. 2a = 1, c = 0
  3. 3a = 0, c = 1
  4. 4a = 0, c = 0
6.Sukar
∃x ∃y ¬R(x, y)∃x ∀y ¬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∃x ∀y ¬R(x, y)
  3. 3∀x ∃y ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)

Kunci jawapan

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

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