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¬(¬p ∨ ¬q) ∧ p11?10?01?00?

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

¬(¬p ∨ ¬q) ∧ p
N =
2.Kolay
abc(¬a ↔ c) ∨ ¬b111?110?101?100?011?010?001?000?

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

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

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

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

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

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

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

¬∃x (A(x) ∧ B(x))
  1. 1∀x (A(x) → ¬B(x))
  2. 2∀x (¬A(x) ∧ ¬B(x))
  3. 3∀x (A(x) ∧ ¬B(x))
  4. 4∃x (¬A(x) ∧ ¬B(x))
6.Zor
∀x (¬F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))∃x (F(x) ∧ ¬G(x))∀x (F(x) → ¬G(x))

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

¬∃x (F(x) → G(x))
  1. 1∀x (¬F(x) → ¬G(x))
  2. 2∀x (F(x) ∧ ¬G(x))
  3. 3∃x (F(x) ∧ ¬G(x))
  4. 4∀x (F(x) → ¬G(x))

Cevap anahtarı

  1. 1. N = 1
  2. 2. N = 6
  3. 3. ¬¬p → ¬(q ∧ r)
  4. 4. a ↔ ¬b
  5. 5. ∀x (A(x) → ¬B(x))
  6. 6. ∀x (F(x) ∧ ¬G(x))

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