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 baruBerlatih 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
abc(a ∧ b) ∨ (a → c)111?110?101?100?011?010?001?000?

Lengkapi tabel kebenaran (1 = benar, 0 = salah). Pada berapa baris N bernilai benar (a ∧ b) ∨ (a → c)?

(a ∧ b) ∨ (a → c)
N =
2.Mudah
ab(b ∧ a) ∨ b11?10?01?00?

Lengkapi tabel kebenaran (1 = benar, 0 = salah). Pada berapa baris N bernilai benar (b ∧ a) ∨ b?

(b ∧ a) ∨ b
N =
3.Sedang
(c → a) ∧ (¬a → ¬c)(c → a) ∨ (a → c)(c → a) ∧ (a → c)c ∧ a

Rumus mana yang ekuivalen secara logis dengan c ↔ a? Klik rumus itu.

c ↔ a
  1. 1(c → a) ∧ (¬a → ¬c)
  2. 2(c → a) ∨ (a → c)
  3. 3(c → a) ∧ (a → c)
  4. 4c ∧ a
4.Sedang
(r → q) ∧ (q → r)(r → q) ∧ (¬q → ¬r)r ∧ q(r → q) ∨ (q → r)

Rumus mana yang ekuivalen secara logis dengan r ↔ q? Klik rumus itu.

r ↔ q
  1. 1(r → q) ∧ (q → r)
  2. 2(r → q) ∧ (¬q → ¬r)
  3. 3r ∧ q
  4. 4(r → q) ∨ (q → r)
5.Sulit
pqp → q¬p¬q11100100

Argumen dengan premis p → q; ¬p dan kesimpulan ¬q tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.

p → q¬p∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
6.Sulit
bcc → bbc11100100

Argumen dengan premis c → b; b dan kesimpulan c tidak valid. Klik baris tabel kebenaran yang merupakan contoh penyangkal.

c → bb∴ c
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0

Kunci jawaban

  1. 1. N = 7
  2. 2. N = 2
  3. 3. (c → a) ∧ (a → c)
  4. 4. (r → q) ∧ (q → r)
  5. 5. p = 0, q = 1
  6. 6. b = 1, c = 0

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