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
ab(¬a ∨ b) ↔ b11?10?01?00?

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

(¬a ∨ b) ↔ b
N =
2.Mudah
ab(a ∨ b) ∧ (¬a → b)11?10?01?00?

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

(a ∨ b) ∧ (¬a → b)
N =
3.Sederhana
q ∧ ¬rq → ¬r¬q ∨ ¬r¬q → ¬r

Formula manakah yang setara secara logik dengan ¬(q → r)? Klik formula itu.

¬(q → r)
  1. 1q ∧ ¬r
  2. 2q → ¬r
  3. 3¬q ∨ ¬r
  4. 4¬q → ¬r
4.Sederhana
(q ∨ r) ∧ (q ∨ p)(q ∧ r) ∨ (q ∧ p)q ∨ (r ∧ p)(q ∧ r) ∨ p

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

q ∧ (r ∨ p)
  1. 1(q ∨ r) ∧ (q ∨ p)
  2. 2(q ∧ r) ∨ (q ∧ p)
  3. 3q ∨ (r ∧ p)
  4. 4(q ∧ r) ∨ p
5.Sukar
∀x (F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (F(x) ∧ ¬G(x))∀x (¬F(x) → ¬G(x))

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

¬∃x (F(x) → G(x))
  1. 1∀x (F(x) → ¬G(x))
  2. 2∀x (F(x) ∧ ¬G(x))
  3. 3∃x (F(x) ∧ ¬G(x))
  4. 4∀x (¬F(x) → ¬G(x))
6.Sukar
∃x (¬F(x) ∧ ¬G(x))∀x (F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (F(x) → ¬G(x))

Pernyataan manakah yang setara dengan ¬∃x (F(x) ∧ G(x)), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

¬∃x (F(x) ∧ G(x))
  1. 1∃x (¬F(x) ∧ ¬G(x))
  2. 2∀x (F(x) → ¬G(x))
  3. 3∀x (F(x) ∧ ¬G(x))
  4. 4∃x (F(x) → ¬G(x))

Kunci jawapan

  1. 1. N = 3
  2. 2. N = 3
  3. 3. q ∧ ¬r
  4. 4. (q ∧ r) ∨ (q ∧ p)
  5. 5. ∀x (F(x) ∧ ¬G(x))
  6. 6. ∀x (F(x) → ¬G(x))

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