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.

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

Doğruluk tablosunu tamamlayın (1 = doğru, 0 = yanlış). (¬b ↔ a) ∧ (a → c) kaç satırda (N) doğrudur?

(¬b ↔ a) ∧ (a → c)
N =
2.Kolay
pq(¬q → p) ∨ (q ∧ p)11100100

Doğruluk tablosunun tam bir satırı (¬q → p) ∨ (q ∧ p) formülünü yanlış yapar. O satıra tıklayın.

(¬q → p) ∨ (q ∧ p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
(q ∧ p) ∨ (q ∧ r)(q ∨ p) ∧ rq ∧ (p ∨ r)(q ∨ p) ∧ (q ∨ r)

Hangi formül q ∨ (p ∧ r) formülüne mantıksal olarak denktir? Üzerine tıklayın.

q ∨ (p ∧ r)
  1. 1(q ∧ p) ∨ (q ∧ r)
  2. 2(q ∨ p) ∧ r
  3. 3q ∧ (p ∨ r)
  4. 4(q ∨ p) ∧ (q ∨ r)
4.Orta
(a ∧ c) ∨ (a ∧ b)(a ∧ c) ∨ b(a ∨ c) ∧ (a ∨ b)a ∨ (c ∧ b)

Hangi formül a ∧ (c ∨ b) formülüne mantıksal olarak denktir? Üzerine tıklayın.

a ∧ (c ∨ b)
  1. 1(a ∧ c) ∨ (a ∧ b)
  2. 2(a ∧ c) ∨ b
  3. 3(a ∨ c) ∧ (a ∨ b)
  4. 4a ∨ (c ∧ b)
5.Zor
∀x A(x)∃x A(x)∃x ¬A(x)∀x ¬A(x)

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

¬∃x A(x)
  1. 1∀x A(x)
  2. 2∃x A(x)
  3. 3∃x ¬A(x)
  4. 4∀x ¬A(x)
6.Zor
∀x A(x)∀x ¬A(x)∃x A(x)∃x ¬A(x)

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

¬∀x A(x)
  1. 1∀x A(x)
  2. 2∀x ¬A(x)
  3. 3∃x A(x)
  4. 4∃x ¬A(x)

Cevap anahtarı

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

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