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 (r ∨ q) ∨ (p → (¬q ∧ r)) ditulis. Dalam berapa baris N q = 1 dan r = 0?

(r ∨ q) ∨ (p → (¬q ∧ r))
N =
2.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 =
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
(p ∨ q) ∧ (p ∨ r)p ∧ (q ∨ r)(p ∧ q) ∨ (p ∧ r)(p ∨ q) ∧ r

Formula manakah yang setara secara logik dengan p ∨ (q ∧ r)? Klik formula itu.

p ∨ (q ∧ r)
  1. 1(p ∨ q) ∧ (p ∨ r)
  2. 2p ∧ (q ∨ r)
  3. 3(p ∧ q) ∨ (p ∧ r)
  4. 4(p ∨ q) ∧ r
5.Sukar
c ∧ bb¬bc

Premis c ∨ b; ¬c diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

c ∨ b¬c
  1. 1c ∧ b
  2. 2b
  3. 3¬b
  4. 4c
6.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)

Kunci jawapan

  1. 1. N = 2
  2. 2. N = 2
  3. 3. q ∧ ¬r
  4. 4. (p ∨ q) ∧ (p ∨ r)
  5. 5. b
  6. 6. ∀x ¬F(x)

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