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
abc(a ∧ c) → ((a ↔ b) ∧ b)111?110?101?100?011?010?001?000?

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

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

¬((r → ¬p) ∨ (p ∧ ¬(¬r → q))) için tam doğruluk tablosu yazılmıştır. Kaç satırda (N) p = 1 ve q = 0 olur?

¬((r → ¬p) ∨ (p ∧ ¬(¬r → q)))
N =
3.Orta
(p ∨ r) ∧ qp ∧ (r ∨ q)(p ∨ r) ∧ (p ∨ q)(p ∧ r) ∨ (p ∧ 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. 3(p ∨ r) ∧ (p ∨ q)
  4. 4(p ∧ r) ∨ (p ∧ q)
4.Orta
totolojiçelişkiolumsallık

(b ∨ c) ∧ (¬b ∧ ¬c) bir totoloji, bir çelişki mi yoksa olumsallık mı? Cevabınıza tıklayın.

(b ∨ c) ∧ (¬b ∧ ¬c)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor

Doğruluk tablosunun 16 satırının kaçı (q ∨ (q ∧ s)) ∨ (p ∧ r) formülünü doğru yapar? Bu sayıya N deyin.

(q ∨ (q ∧ s)) ∨ (p ∧ r)
N =
6.Zor
∃x ∃y (R(x, y) ∧ ¬R(y, x))∃x ∃y (R(x, y) → ¬R(y, x))∀x ∀y (R(x, y) ∧ ¬R(y, x))∃x ∃y (¬R(x, y) ∧ ¬R(y, x))

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

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

Cevap anahtarı

  1. 1. N = 7
  2. 2. N = 2
  3. 3. (p ∨ r) ∧ (p ∨ q)
  4. 4. çelişki
  5. 5. N = 10
  6. 6. ∃x ∃y (R(x, y) ∧ ¬R(y, x))

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