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
pqp ∧ (q ↔ p)11?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
pq(¬p ∧ q) ↔ p11100100

Doğruluk tablosunun tam bir satırı (¬p ∧ q) ↔ p formülünü doğru yapar. O satıra tıklayın.

(¬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
c ↔ ¬ac ∧ ¬a¬c ↔ ¬a¬c ∨ ¬a

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

¬(c ↔ a)
  1. 1c ↔ ¬a
  2. 2c ∧ ¬a
  3. 3¬c ↔ ¬a
  4. 4¬c ∨ ¬a
4.Orta
¬r → ¬¬p¬¬p → ¬r¬p ∧ ¬rr → ¬p

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

¬p → r
  1. 1¬r → ¬¬p
  2. 2¬¬p → ¬r
  3. 3¬p ∧ ¬r
  4. 4r → ¬p
5.Zor
r ∧ qr ∨ q¬rp ∨ q

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

p ∨ r¬p ∨ q
  1. 1r ∧ q
  2. 2r ∨ q
  3. 3¬r
  4. 4p ∨ q
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 = 1
  2. 2. p = 0, q = 0
  3. 3. c ↔ ¬a
  4. 4. ¬r → ¬¬p
  5. 5. r ∨ q
  6. 6. ∃x (A(x) ∧ ∀y ¬R(x, y))

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