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.

Öğ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

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

((r ↔ p) → ¬r) ∨ ((¬q ∧ p) → q)
N =
2.Kolay
pq¬(q ∨ (q ↔ p))11100100

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

¬(q ∨ (q ↔ p))
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
¬b → ¬c¬b ∨ c¬b ∧ cb ∨ ¬c

Hangi formül b → c formülüne mantıksal olarak denktir? Üzerine tıklayın.

b → c
  1. 1¬b → ¬c
  2. 2¬b ∨ c
  3. 3¬b ∧ c
  4. 4b ∨ ¬c
4.Orta
totolojiçelişkiolumsallık

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

(r → p) ∧ (r ∧ ¬p)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor
¬b ∧ a¬bab

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

b → a¬a
  1. 1¬b ∧ a
  2. 2¬b
  3. 3a
  4. 4b
6.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)

Cevap anahtarı

  1. 1. N = 2
  2. 2. p = 1, q = 0
  3. 3. ¬b ∨ c
  4. 4. çelişki
  5. 5. ¬b
  6. 6. ∀x ¬F(x)

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