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 ((¬c ↔ b) → a) ∧ (¬a ∨ (¬b ∧ c))?

((¬c ↔ b) → a) ∧ (¬a ∨ (¬b ∧ c))
N =
2.Mudah
abc(c → (b ∨ a)) ↔ (c → a)111110101100011010001000

Tepat satu baris jadual kebenaran menjadikan (c → (b ∨ a)) ↔ (c → a) palsu. Klik baris itu.

(c → (b ∨ a)) ↔ (c → a)
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
3.Sederhana
(r → p) ∧ (q → p)r → (q → 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 → p) ∧ (q → p)
  2. 2r → (q → p)
  3. 3(r → q) → p
  4. 4r ∧ (q → p)
4.Sederhana
¬b → ¬a¬a → ¬bb → a¬b ∧ ¬a

Formula manakah yang setara secara logik dengan a → b? Klik formula itu.

a → b
  1. 1¬b → ¬a
  2. 2¬a → ¬b
  3. 3b → a
  4. 4¬b ∧ ¬a
5.Sukar

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

((q ↔ p) ∨ (¬r ∧ ¬p)) ↔ (¬s ∧ ¬(s ↔ q))
N =
6.Sukar
∀x (P(x) → ¬Q(x))∃x (P(x) ∧ ¬Q(x))∀x (P(x) ∧ ¬Q(x))∀x (¬P(x) → ¬Q(x))

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. 1∀x (P(x) → ¬Q(x))
  2. 2∃x (P(x) ∧ ¬Q(x))
  3. 3∀x (P(x) ∧ ¬Q(x))
  4. 4∀x (¬P(x) → ¬Q(x))

Kunci jawapan

  1. 1. N = 8
  2. 2. a = 0, b = 1, c = 1
  3. 3. r → (q → p)
  4. 4. ¬b → ¬a
  5. 5. N = 8
  6. 6. ∀x (P(x) ∧ ¬Q(x))

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