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
pqp ↔ q11?10?01?00?

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

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

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

(¬b ↔ ¬a) ∨ (a ∧ ¬b)
N =
3.Sederhana
b → (c ∨ a)¬b → ¬(c ∨ a)¬(c ∨ a) → ¬b(c ∨ a) ∧ ¬b

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

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

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

(p ∨ r) → q
  1. 1p ∨ (r → q)
  2. 2(p → q) ∨ (r → q)
  3. 3(p → q) ∧ (r → q)
  4. 4(p ∧ r) → q
5.Sukar
prp → rrp11100100

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

p → rr∴ p
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0
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 = 2
  2. 2. N = 3
  3. 3. ¬b → ¬(c ∨ a)
  4. 4. (p → q) ∧ (r → q)
  5. 5. p = 0, r = 1
  6. 6. ∀x (P(x) → ¬Q(x))

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