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 baharu Berlatih 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

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

¬q ∧ (¬p → q)

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

2.Mudah

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

¬p → q

N =

3.Sederhana

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

a ∨ (b ∧ c)

1(a ∧ b) ∨ (a ∧ c)
2(a ∨ b) ∧ (a ∨ c)
3a ∧ (b ∨ c)
4(a ∨ b) ∧ c

4.Sederhana

Dalam berapa daripada 8 baris jadual kebenarannya ¬((p ∧ r) ∨ q) → (q ∨ p) benar? Panggil nombor ini N.

¬((p ∧ r) ∨ q) → (q ∨ p)

N =

5.Sukar

Premis q ∨ p; q → r; p → r diberikan. Kesimpulan manakah yang terhasil daripadanya? Klik kesimpulan itu.

q ∨ pq → rp → r

1q
2r
3¬r
4q ∧ p

6.Sukar

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

¬∃x (F(x) → G(x))

1∀x (¬F(x) → ¬G(x))
2∀x (F(x) ∧ ¬G(x))
3∃x (F(x) ∧ ¬G(x))
4∀x (F(x) → ¬G(x))

Kunci jawapan

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

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