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
ab¬a ∧ (¬a ∨ ¬b)11?10?01?00?

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

¬a ∧ (¬a ∨ ¬b)
N =
2.Kolay
ab(b ∧ a) ∨ (¬b ∧ a)11?10?01?00?

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

(b ∧ a) ∨ (¬b ∧ a)
N =
3.Orta
¬(q ∨ r) → ¬p¬p → ¬(q ∨ r)(q ∨ r) ∧ ¬pp → (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¬(q ∨ r) → ¬p
  2. 2¬p → ¬(q ∨ r)
  3. 3(q ∨ r) ∧ ¬p
  4. 4p → (q ∨ r)
4.Orta
¬p → rr ∧ ¬¬p¬r → ¬¬p¬¬p → ¬r

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

r → ¬p
  1. 1¬p → r
  2. 2r ∧ ¬¬p
  3. 3¬r → ¬¬p
  4. 4¬¬p → ¬r
5.Zor
∀x ¬F(x)∃x ¬F(x)∃x F(x)∀x F(x)

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

¬∃x F(x)
  1. 1∀x ¬F(x)
  2. 2∃x ¬F(x)
  3. 3∃x F(x)
  4. 4∀x F(x)
6.Zor
∀x (P(x) ∧ ¬Q(x))∀x (P(x) → ¬Q(x))∀x (¬P(x) ∧ ¬Q(x))∃x (P(x) → ¬Q(x))

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

¬∃x (P(x) ∧ Q(x))
  1. 1∀x (P(x) ∧ ¬Q(x))
  2. 2∀x (P(x) → ¬Q(x))
  3. 3∀x (¬P(x) ∧ ¬Q(x))
  4. 4∃x (P(x) → ¬Q(x))

Cevap anahtarı

  1. 1. N = 2
  2. 2. N = 2
  3. 3. ¬p → ¬(q ∨ r)
  4. 4. ¬¬p → ¬r
  5. 5. ∀x ¬F(x)
  6. 6. ∀x (P(x) → ¬Q(x))

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