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
abb ↔ (b → a)11?10?01?00?

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

b ↔ (b → a)
N =
2.Kolay

(b ∨ (b → c)) ∧ (a ↔ (c ∧ a)) için tam doğruluk tablosu kaç satırdan (N) oluşur?

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

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

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

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

¬a → (b ∧ c)
  1. 1¬a ∧ ¬(b ∧ c)
  2. 2(b ∧ c) → ¬a
  3. 3¬¬a → ¬(b ∧ c)
  4. 4¬(b ∧ c) → ¬¬a
5.Zor
¬r ∧ qq¬rr

r → q; ¬q öncülleri verilmiştir. Bunlardan hangi sonuç çıkar? Üzerine tıklayın.

r → q¬q
  1. 1¬r ∧ q
  2. 2q
  3. 3¬r
  4. 4r
6.Zor
¬bb ∧ ¬ccb

(a ∧ b) → c; a; ¬c öncülleri verilmiştir. Bunlardan hangi sonuç çıkar? Üzerine tıklayın.

(a ∧ b) → ca¬c
  1. 1¬b
  2. 2b ∧ ¬c
  3. 3c
  4. 4b

Cevap anahtarı

  1. 1. N = 1
  2. 2. N = 8
  3. 3. p → (r → q)
  4. 4. ¬(b ∧ c) → ¬¬a
  5. 5. ¬r
  6. 6. ¬b

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