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
pq¬((p → q) ∧ (¬p ∧ q))11?10?01?00?

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

¬((p → q) ∧ (¬p ∧ q))
N =
2.Kolay

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

(q ∨ (r ∧ p)) → (r ∧ p)
N =
3.Orta
totolojiçelişkiolumsallık

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

(r → q) ↔ (¬q → ¬r)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
4.Orta
a ∧ (b → c)(a → b) → ca → (b → c)(a → c) ∧ (b → c)

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

(a ∧ b) → c
  1. 1a ∧ (b → c)
  2. 2(a → b) → c
  3. 3a → (b → c)
  4. 4(a → c) ∧ (b → c)
5.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))
6.Zor
qrq ∨ rq¬r11100100

Öncülleri q ∨ r; q ve sonucu ¬r olan argüman geçersizdir. Doğruluk tablosunda karşı örnek olan satıra tıklayın.

q ∨ rq∴ ¬r
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0

Cevap anahtarı

  1. 1. N = 3
  2. 2. N = 2
  3. 3. totoloji
  4. 4. a → (b → c)
  5. 5. ∃x (F(x) ∧ ∀y ¬R(x, y))
  6. 6. q = 1, r = 1

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