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

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

(p ∧ q) ∨ (q ∧ p)

N =

2.Mudah

Tepat satu baris jadual kebenaran menjadikan q ∨ ¬p palsu. Klik baris itu.

q ∨ ¬p

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

3.Sederhana

Adakah p ∧ ¬p tautologi, percanggahan atau kontingensi? Klik jawapan anda.

p ∧ ¬p

1tautologi
2percanggahan
3kontingensi

4.Sederhana

Anda hendak membuktikan ¬b → a secara percanggahan. Pernyataan manakah yang anda andaikan pada permulaan? Klik pernyataan itu.

¬b → a

1¬¬b ∧ ¬a
2¬b ∧ ¬a
3¬¬b ∧ a
4¬¬b → ¬a

5.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))

6.Sukar

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

¬∃x F(x)

1∃x F(x)
2∀x F(x)
3∃x ¬F(x)
4∀x ¬F(x)

Kunci jawapan

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

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