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
pq¬(q ∧ (q ↔ ¬p))11?10?01?00?

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

¬(q ∧ (q ↔ ¬p))
N =
2.Kolay
pq¬((q → ¬p) ↔ (q ∨ p))11?10?01?00?

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

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

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

b ∧ (c ∨ a)
  1. 1b ∨ (c ∧ a)
  2. 2(b ∧ c) ∨ a
  3. 3(b ∧ c) ∨ (b ∧ a)
  4. 4(b ∨ c) ∧ (b ∨ a)
4.Orta
b ∨ (c → a)(b → a) ∧ (c → a)(b → a) ∨ (c → a)(b ∧ c) → a

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

(b ∨ c) → a
  1. 1b ∨ (c → a)
  2. 2(b → a) ∧ (c → a)
  3. 3(b → a) ∨ (c → a)
  4. 4(b ∧ c) → a
5.Zor
abb ∨ ab¬a11100100

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

b ∨ ab∴ ¬a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
6.Zor
∀x (A(x) ∧ ∀y ¬R(x, y))∃x (¬A(x) ∧ ∃y R(x, y))∃x (A(x) ∧ ∀y ¬R(x, y))∃x (A(x) → ∀y ¬R(x, y))

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

¬∀x (A(x) → ∃y R(x, y))
  1. 1∀x (A(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (¬A(x) ∧ ∃y R(x, y))
  3. 3∃x (A(x) ∧ ∀y ¬R(x, y))
  4. 4∃x (A(x) → ∀y ¬R(x, y))

Cevap anahtarı

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

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