Cevaplı Önermeler mantığı ve ispatlar çalışma kâğıdı

Ücretsiz yazdırılabilir Önermeler mantığı ve ispatlar çalışma kâğıdı: kolaydan sınav düzeyine 6 soru ve cevap anahtarı. Yazdırın ya da PDF olarak kaydedin.

Yeni çalışma kâğıdıİpuçlarıyla çevrimiçi çalışın

Öğretmenler için: sınıfta ücretsiz yazdırılabilir, çoğaltılabilir ve kullanılabilir. Her yeni çalışma kâğıdında yeni değerler ve kendi cevap anahtarı vardır. Ders sayfanızda ExamProblems bağlantısı vermeniz bizi memnun eder.

Ad: ____________________   Tarih: ____________

1.Kolay

(a ∧ (b → c)) → ((¬c ∧ a) ∧ b) için tam doğruluk tablosu yazılmıştır. Kaç satırda (N) a = 1 ve c = 0 olur?

(a ∧ (b → c)) → ((¬c ∧ a) ∧ b)
N =
2.Kolay

(p ∧ q) ∨ (r → q) için tam doğruluk tablosu yazılmıştır. Kaç satırda (N) p = 1 ve r = 0 olur?

(p ∧ q) ∨ (r → q)
N =
3.Orta
b ∧ c(b → c) ∧ (c → b)(b → c) ∧ (¬c → ¬b)(b → c) ∨ (c → b)

Hangi formül b ↔ c formülüne mantıksal olarak denktir? Üzerine tıklayın.

b ↔ c
  1. 1b ∧ c
  2. 2(b → c) ∧ (c → b)
  3. 3(b → c) ∧ (¬c → ¬b)
  4. 4(b → c) ∨ (c → b)
4.Orta
¬(p ∨ r) → ¬qq ∧ ¬(p ∨ r)¬q → ¬(p ∨ r)(p ∨ r) → q

q → (p ∨ r) önermesini karşıt değil yoluyla ispatlamak istiyorsunuz. Bunun yerine hangi gerektirmeyi ispatlarsınız? Üzerine tıklayın.

q → (p ∨ r)
  1. 1¬(p ∨ r) → ¬q
  2. 2q ∧ ¬(p ∨ r)
  3. 3¬q → ¬(p ∨ r)
  4. 4(p ∨ r) → q
5.Zor
∃x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)∃x ∃y ¬R(x, y)∀x ∀y ¬R(x, y)

Değili tamamen içeri taşınmış hâliyle hangi önerme ¬∃x ∀y R(x, y) önermesine denktir? Üzerine tıklayın.

¬∃x ∀y R(x, y)
  1. 1∃x ∀y ¬R(x, y)
  2. 2∀x ∃y ¬R(x, y)
  3. 3∃x ∃y ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)
6.Zor
abcb → (a ∨ c)ba111110101100011010001000

Öncülleri b → (a ∨ c); b ve sonucu a olan argüman geçersizdir. Doğruluk tablosunda karşı örnek olan satıra tıklayın.

b → (a ∨ c)b∴ a
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0

Cevap anahtarı

  1. 1. N = 2
  2. 2. N = 2
  3. 3. (b → c) ∧ (c → b)
  4. 4. ¬(p ∨ r) → ¬q
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. a = 0, b = 1, c = 1

Tam adım adım çözümler: bu konuyu examproblems.com’da çalışın.