Lembar kerja Logika proposisional & pembuktian dengan jawaban

Lembar kerja Logika proposisional & pembuktian gratis yang dapat dicetak: 6 soal dari mudah hingga tingkat ujian, dengan kunci jawaban. Cetak atau simpan sebagai PDF.

Lembar kerja baru Berlatih online dengan petunjuk

Untuk pengajar: gratis untuk dicetak, disalin, dan dipakai di kelas. Setiap lembar kerja baru punya nilai baru dan kunci jawabannya sendiri. Tautan ke ExamProblems di halaman mata kuliah Anda sangat kami hargai.

Nama: ____________________ Tanggal: ____________

1.Mudah

Berapa baris N yang dimiliki tabel kebenaran lengkap ¬(((b ↔ c) ∧ b) → ((c → a) ∧ a))?

¬(((b ↔ c) ∧ b) → ((c → a) ∧ a))

N =

2.Mudah

Lengkapi tabel kebenaran (1 = benar, 0 = salah). Pada berapa baris N bernilai benar (r ↔ (r ∧ q)) ∨ (q ↔ p)?

(r ↔ (r ∧ q)) ∨ (q ↔ p)

N =

3.Sedang

Anda ingin membuktikan ¬q → (p ∨ r) dengan kontradiksi. Pernyataan mana yang Anda andaikan di awal? Klik pernyataan itu.

¬q → (p ∨ r)

1¬¬q ∧ (p ∨ r)
2¬q ∧ ¬(p ∨ r)
3¬¬q ∧ ¬(p ∨ r)
4¬¬q → ¬(p ∨ r)

4.Sedang

Pada berapa dari 8 baris tabel kebenarannya (¬(b ∨ ¬a) ∨ (¬a → c)) ∨ (c ∨ b) bernilai benar? Sebut bilangan ini N.

(¬(b ∨ ¬a) ∨ (¬a → c)) ∨ (c ∨ b)

N =

5.Sulit

Pernyataan mana yang ekuivalen dengan ¬∃x (A(x) ∧ B(x)), dengan negasi dipindahkan sampai ke dalam? Klik pernyataan itu.

¬∃x (A(x) ∧ B(x))

1∀x (A(x) → ¬B(x))
2∀x (A(x) ∧ ¬B(x))
3∃x (A(x) → ¬B(x))
4∀x (¬A(x) ∧ ¬B(x))

6.Sulit

Premis r → p; p → q diberikan. Kesimpulan mana yang mengikuti dari premis-premis itu? Klik kesimpulan itu.

r → pp → q

1¬r → ¬q
2q → r
3r ∧ q
4r → q

Kunci jawaban

1. N = 8
2. N = 7
3. ¬q ∧ ¬(p ∨ r)
4. N = 7
5. ∀x (A(x) → ¬B(x))
6. r → q

Penyelesaian lengkap langkah demi langkah: latih topik ini di examproblems.com.