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

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

¬(¬p ∧ q) → (¬p → q)
N =
2.Mudah

Berapa banyak baris N yang ada pada jadual kebenaran lengkap bagi (¬b ∨ (¬a → c)) ∨ ¬((b → a) ↔ c)?

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

Formula manakah yang setara secara logik dengan ¬(q ↔ r)? Klik formula itu.

¬(q ↔ r)
  1. 1q ∧ ¬r
  2. 2¬q ∨ ¬r
  3. 3¬q ↔ ¬r
  4. 4q ↔ ¬r
4.Sederhana
tautologipercanggahankontingensi

Adakah (b ↔ a) ∧ (b ↔ ¬a) tautologi, percanggahan atau kontingensi? Klik jawapan anda.

(b ↔ a) ∧ (b ↔ ¬a)
  1. 1tautologi
  2. 2percanggahan
  3. 3kontingensi
5.Sukar
pqrq → (r ∨ p)qr111110101100011010001000

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

q → (r ∨ p)q∴ r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0
6.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)

Kunci jawapan

  1. 1. N = 3
  2. 2. N = 8
  3. 3. q ↔ ¬r
  4. 4. percanggahan
  5. 5. p = 1, q = 1, r = 0
  6. 6. ∃x ¬P(x)

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