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

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

(b ∧ ¬(c → a)) ∨ (a ∧ ¬(b ↔ c))
N =
2.Kolay
pqp → ¬q11?10?01?00?

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

p → ¬q
N =
3.Orta
(p ∧ q) ∨ r(p ∧ q) ∨ (p ∧ r)(p ∨ q) ∧ (p ∨ r)p ∨ (q ∧ r)

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

p ∧ (q ∨ r)
  1. 1(p ∧ q) ∨ r
  2. 2(p ∧ q) ∨ (p ∧ r)
  3. 3(p ∨ q) ∧ (p ∨ r)
  4. 4p ∨ (q ∧ r)
4.Orta
totolojiçelişkiolumsallık

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

((p ∨ r) ∧ ¬p) → r
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor
∃x ¬A(x)∃x A(x)∀x ¬A(x)∀x A(x)

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

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

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

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

Cevap anahtarı

  1. 1. N = 8
  2. 2. N = 3
  3. 3. (p ∧ q) ∨ (p ∧ r)
  4. 4. totoloji
  5. 5. ∃x ¬A(x)
  6. 6. ∃x (F(x) ∧ ∀y ¬R(x, y))

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