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

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

((p → q) ∧ p) ↔ (r ↔ (r ∨ q))
N =
2.Mudah
pqr(¬r ∨ q) ∨ p111?110?101?100?011?010?001?000?

Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah (¬r ∨ q) ∨ p benar?

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

Formula manakah yang setara secara logik dengan ¬(b ∧ a)? Klik formula itu.

¬(b ∧ a)
  1. 1¬b ∧ a
  2. 2¬b ∨ a
  3. 3¬b ∧ ¬a
  4. 4¬b ∨ ¬a
4.Sederhana
abc¬c ∧ bb → (¬c ∧ b)¬((c ↔ a) ∧ a) ∧ (b → (¬c ∧ b))111?110?101?100?011?010?001?000?

Dalam berapa daripada 8 baris jadual kebenarannya ¬((c ↔ a) ∧ a) ∧ (b → (¬c ∧ b)) benar? Panggil nombor ini N.

¬((c ↔ a) ∧ a) ∧ (b → (¬c ∧ b))
N =
5.Sukar
c¬c ∧ aa¬c

Premis c → b; b → a; ¬a diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

c → bb → a¬a
  1. 1c
  2. 2¬c ∧ a
  3. 3a
  4. 4¬c
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. N = 8
  2. 2. N = 7
  3. 3. ¬b ∨ ¬a
  4. 4. N = 5
  5. 5. ¬c
  6. 6. ∃x (¬A(x) ∧ ¬B(x))

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