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

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

¬((¬q ∨ p) → ¬(p ↔ q))
N =
2.Mudah
pq¬((q ∨ p) → (q → p))11100100

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

¬((q ∨ p) → (q → p))
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Sederhana
tautologipercanggahankontingensi

Adakah a ↔ ¬a tautologi, percanggahan atau kontingensi? Klik jawapan anda.

a ↔ ¬a
  1. 1tautologi
  2. 2percanggahan
  3. 3kontingensi
4.Sederhana
¬p → ¬rp → r¬r → ¬p¬p ∧ ¬r

Formula manakah yang setara secara logik dengan r → p? Klik formula itu.

r → p
  1. 1¬p → ¬r
  2. 2p → r
  3. 3¬r → ¬p
  4. 4¬p ∧ ¬r
5.Sukar
¬ca¬c ∧ ac

Premis c → a; ¬a diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

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

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

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

Kunci jawapan

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

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