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
pq(p ↔ q) ∧ q11100100

Tepat satu baris jadual kebenaran menjadikan (p ↔ q) ∧ q benar. Klik baris itu.

(p ↔ q) ∧ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Mudah
ab(b ∧ a) ∨ ¬a11100100

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

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

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

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

Anda hendak membuktikan (a ∨ c) → ¬b secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

(a ∨ c) → ¬b
  1. 1¬(a ∨ c) → ¬¬b
  2. 2¬b → (a ∨ c)
  3. 3¬¬b → ¬(a ∨ c)
  4. 4(a ∨ c) ∧ ¬¬b
5.Sukar
¬ppq¬p ∧ q

Premis p → r; r → q; ¬q diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

p → rr → q¬q
  1. 1¬p
  2. 2p
  3. 3q
  4. 4¬p ∧ q
6.Sukar
∀x (¬A(x) ∧ ¬B(x))∃x (¬A(x) ∧ ¬B(x))∃x (¬A(x) ∨ ¬B(x))∀x (¬A(x) ∨ ¬B(x))

Pernyataan manakah yang setara dengan ¬∀x (A(x) ∨ B(x)), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

¬∀x (A(x) ∨ B(x))
  1. 1∀x (¬A(x) ∧ ¬B(x))
  2. 2∃x (¬A(x) ∧ ¬B(x))
  3. 3∃x (¬A(x) ∨ ¬B(x))
  4. 4∀x (¬A(x) ∨ ¬B(x))

Kunci jawapan

  1. 1. p = 1, q = 1
  2. 2. a = 1, b = 0
  3. 3. tautologi
  4. 4. ¬¬b → ¬(a ∨ c)
  5. 5. ¬p
  6. 6. ∃x (¬A(x) ∧ ¬B(x))

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