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
pq¬(¬q ∧ ¬p) ∧ p11?10?01?00?

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

¬(¬q ∧ ¬p) ∧ p
N =
2.Mudah
pqrp ∨ (¬q ∧ r)111?110?101?100?011?010?001?000?

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

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

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

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

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

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

Berapa banyak daripada 16 baris jadual kebenaran menjadikan (a → b) → ((¬d ∧ b) ∧ (d ∨ c)) benar? Panggil nombor ini N.

(a → b) → ((¬d ∧ b) ∧ (d ∨ c))
N =
6.Sukar
pqp → q¬p¬q11100100

Hujah dengan premis p → q; ¬p dan kesimpulan ¬q adalah tidak sah. Klik baris jadual kebenaran yang menjadi contoh penyangkal.

p → q¬p∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0

Kunci jawapan

  1. 1. N = 2
  2. 2. N = 5
  3. 3. (a → b) ∧ (b → a)
  4. 4. N = 3
  5. 5. N = 6
  6. 6. p = 0, q = 1

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