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.

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
ab¬a ∨ (b ∧ a)11100100

Tepat satu baris tabel kebenaran membuat ¬a ∨ (b ∧ a) salah. Klik baris itu.

¬a ∨ (b ∧ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Mudah
pqq → ¬p11100100

Tepat satu baris tabel kebenaran membuat q → ¬p salah. Klik baris itu.

q → ¬p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Sedang
abc¬b(a ∧ c) → ¬b((b → ¬a) → c) ∧ ((a ∧ c) → ¬b)111?110?101?100?011?010?001?000?

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

((b → ¬a) → c) ∧ ((a ∧ c) → ¬b)
N =
4.Sedang
tautologikontradiksikontingensi

Apakah p → (p ∧ q) tautologi, kontradiksi, atau kontingensi? Klik jawaban Anda.

p → (p ∧ q)
  1. 1tautologi
  2. 2kontradiksi
  3. 3kontingensi
5.Sulit
¬cc¬c ∧ bb

Premis c → b; ¬b diberikan. Kesimpulan mana yang mengikuti dari premis-premis itu? Klik kesimpulan itu.

c → b¬b
  1. 1¬c
  2. 2c
  3. 3¬c ∧ b
  4. 4b
6.Sulit

Berapa dari 16 baris tabel kebenaran yang membuat ((¬s → p) ∧ (q ↔ p)) ∧ (q ∨ (s ∨ r)) benar? Sebut bilangan ini N.

((¬s → p) ∧ (q ↔ p)) ∧ (q ∨ (s ∨ r))
N =

Kunci jawaban

  1. 1. a = 1, b = 0
  2. 2. p = 1, q = 1
  3. 3. N = 4
  4. 4. kontingensi
  5. 5. ¬c
  6. 6. N = 6

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