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
abb → (¬b ∨ ¬a)11100100

Doğruluk tablosunun tam bir satırı b → (¬b ∨ ¬a) formülünü yanlış yapar. O satıra tıklayın.

b → (¬b ∨ ¬a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Kolay

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

(¬b ∨ c) ∧ (a ↔ (¬b → ¬c))
N =
3.Orta
¬p ∨ ¬r¬p ∧ r¬p ∧ ¬r¬p ∨ r

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

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

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

(q → r) ∧ (q ∧ ¬r)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor
¬pp ∨ qp ∧ qr ∨ q

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

r ∨ p¬r ∨ q
  1. 1¬p
  2. 2p ∨ q
  3. 3p ∧ q
  4. 4r ∨ q
6.Zor
∀x (F(x) ∧ ¬G(x))∃x (F(x) ∧ ¬G(x))∀x (¬F(x) → ¬G(x))∀x (F(x) → ¬G(x))

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

¬∃x (F(x) → G(x))
  1. 1∀x (F(x) ∧ ¬G(x))
  2. 2∃x (F(x) ∧ ¬G(x))
  3. 3∀x (¬F(x) → ¬G(x))
  4. 4∀x (F(x) → ¬G(x))

Cevap anahtarı

  1. 1. a = 1, b = 1
  2. 2. N = 8
  3. 3. ¬p ∨ ¬r
  4. 4. çelişki
  5. 5. p ∨ q
  6. 6. ∀x (F(x) ∧ ¬G(x))

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