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
pqr(p ∨ ¬r) → ((¬p ∨ q) → ¬r)111110101100011010001000

Tepat satu baris jadual kebenaran menjadikan (p ∨ ¬r) → ((¬p ∨ q) → ¬r) palsu. Klik baris itu.

(p ∨ ¬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
2.Mudah

Berapa banyak baris N yang ada pada jadual kebenaran lengkap bagi (r → (p ↔ q)) ↔ (q ↔ p)?

(r → (p ↔ q)) ↔ (q ↔ p)
N =
3.Sederhana
(b → c) → ab → (c → a)(b → a) ∧ (c → a)b ∧ (c → 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 → a) ∧ (c → a)
  4. 4b ∧ (c → a)
4.Sederhana
tautologipercanggahankontingensi

Adakah (p → q) → (q → p) tautologi, percanggahan atau kontingensi? Klik jawapan anda.

(p → q) → (q → p)
  1. 1tautologi
  2. 2percanggahan
  3. 3kontingensi
5.Sukar
∀x ∀y ¬R(x, y)∃y ∀x ¬R(x, y)∃x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)

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

¬∀x ∃y R(x, y)
  1. 1∀x ∀y ¬R(x, y)
  2. 2∃y ∀x ¬R(x, y)
  3. 3∃x ∀y ¬R(x, y)
  4. 4∀x ∃y ¬R(x, y)
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. p = 1, q = 1, r = 1
  2. 2. N = 8
  3. 3. b → (c → a)
  4. 4. kontingensi
  5. 5. ∃x ∀y ¬R(x, y)
  6. 6. ∃x (P(x) ∧ ¬Q(x))

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