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¬(b → ¬(¬a ∧ b))11?10?01?00?

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

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

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

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

Anda hendak membuktikan ¬r → ¬q secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

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

Anda hendak membuktikan ¬p → (q ∧ r) secara kontrapositif. Implikasi manakah yang anda buktikan sebagai gantinya? Klik implikasi itu.

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

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

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

Pernyataan manakah yang setara dengan ¬∀x ∀y (R(x, y) → R(y, x)), dengan penafian dialihkan sepenuhnya ke dalam? Klik pernyataan itu.

¬∀x ∀y (R(x, y) → R(y, x))
  1. 1∃x ∃y (¬R(x, y) ∧ ¬R(y, x))
  2. 2∃x ∃y (R(x, y) → ¬R(y, x))
  3. 3∀x ∀y (R(x, y) ∧ ¬R(y, x))
  4. 4∃x ∃y (R(x, y) ∧ ¬R(y, x))

Kunci jawapan

  1. 1. N = 1
  2. 2. N = 2
  3. 3. ¬¬q → ¬¬r
  4. 4. ¬(q ∧ r) → ¬¬p
  5. 5. ∀x ¬F(x)
  6. 6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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