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

Tabel kebenaran lengkap ((q ∧ p) ∨ q) ∨ ¬(r ∨ (r → p)) sudah dituliskan. Pada berapa baris N bernilai q = 1 dan r = 0?

((q ∧ p) ∨ q) ∨ ¬(r ∨ (r → p))
N =
2.Mudah

Tabel kebenaran lengkap ((c ∧ ¬a) ∨ ¬a) ∧ ((c → b) ∧ ¬b) sudah dituliskan. Pada berapa baris N bernilai b = 1 dan c = 0?

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

Apakah (a ∨ b) ∧ (¬a ∧ ¬b) tautologi, kontradiksi, atau kontingensi? Klik jawaban Anda.

(a ∨ b) ∧ (¬a ∧ ¬b)
  1. 1tautologi
  2. 2kontradiksi
  3. 3kontingensi
4.Sedang
abcc → aa ∧ (c → a)¬((b ∧ c) ∨ ¬b) ∧ (a ∧ (c → a))111?110?101?100?011?010?001?000?

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

¬((b ∧ c) ∨ ¬b) ∧ (a ∧ (c → a))
N =
5.Sulit
∃x A(x)∀x A(x)∃x ¬A(x)∀x ¬A(x)

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

¬∃x A(x)
  1. 1∃x A(x)
  2. 2∀x A(x)
  3. 3∃x ¬A(x)
  4. 4∀x ¬A(x)
6.Sulit
pqrq → pr → pq → r111110101100011010001000

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

q → pr → p∴ q → r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0

Kunci jawaban

  1. 1. N = 2
  2. 2. N = 2
  3. 3. kontradiksi
  4. 4. N = 1
  5. 5. ∀x ¬A(x)
  6. 6. p = 1, q = 1, r = 0

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