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

Jadual kebenaran lengkap bagi ((¬b ∨ a) ↔ (a ∨ ¬c)) ↔ (c → ¬b) ditulis. Dalam berapa baris N b = 1 dan c = 0?

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

Jadual kebenaran lengkap bagi (b ∨ (¬c ∧ ¬b)) ∧ (a ∨ (a ∧ ¬c)) ditulis. Dalam berapa baris N b = 1 dan c = 0?

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

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

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

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

b ∨ (c ∧ a)
  1. 1(b ∨ c) ∧ a
  2. 2b ∧ (c ∨ a)
  3. 3(b ∧ c) ∨ (b ∧ a)
  4. 4(b ∨ c) ∧ (b ∨ a)
5.Sukar
∀x ¬P(x)∃x ¬P(x)∃x P(x)∀x P(x)

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

¬∃x P(x)
  1. 1∀x ¬P(x)
  2. 2∃x ¬P(x)
  3. 3∃x P(x)
  4. 4∀x P(x)
6.Sukar
qrq ∨ rq¬r11100100

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

q ∨ rq∴ ¬r
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0

Kunci jawapan

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

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