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.
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) ∨ ¬r) → (q ∨ p) palsu. Klik baris itu.
((¬q ∧ p) ∨ ¬r) → (q ∨ p)
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Mudah
Lengkapkan jadual kebenaran (1 = benar, 0 = palsu). Dalam berapa baris N adakah b → a benar?
b → a
N =
3.Sederhana
Adakah (q ∧ (q → p)) → p tautologi, percanggahan atau kontingensi? Klik jawapan anda.
(q ∧ (q → p)) → p
1tautologi
2percanggahan
3kontingensi
4.Sederhana
Anda hendak membuktikan (q ∧ r) → ¬p secara percanggahan. Pernyataan manakah yang anda andaikan pada permulaan? Klik pernyataan itu.
(q ∧ r) → ¬p
1¬(q ∧ r) → ¬¬p
2¬(q ∧ r) ∧ ¬¬p
3(q ∧ r) ∧ ¬¬p
4¬(q ∧ r) ∧ ¬p
5.Sukar
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∃x ∀y ¬R(x, y)
2∀x ∃y ¬R(x, y)
3∃x ∃y ¬R(x, y)
4∀x ∀y ¬R(x, y)
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. p = 0, q = 0, r = 0
2. N = 3
3. tautologi
4. (q ∧ r) ∧ ¬¬p
5. ∀x ∃y ¬R(x, y)
6. ∃x ¬F(x)
Penyelesaian langkah demi langkah yang lengkap: berlatih topik ini di examproblems.com.