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
ab¬(¬(a → b) ↔ ¬a)11100100

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

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

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

(a ↔ b) ∨ ¬b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Orta
¬r → qq ∧ ¬¬r¬¬r → ¬q¬q → ¬¬r

q → ¬r önermesini karşıt değil yoluyla ispatlamak istiyorsunuz. Bunun yerine hangi gerektirmeyi ispatlarsınız? Üzerine tıklayın.

q → ¬r
  1. 1¬r → q
  2. 2q ∧ ¬¬r
  3. 3¬¬r → ¬q
  4. 4¬q → ¬¬r
4.Orta
¬r ∧ q¬r → ¬qq → r¬r ∨ q

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

r → q
  1. 1¬r ∧ q
  2. 2¬r → ¬q
  3. 3q → r
  4. 4¬r ∨ q
5.Zor
¬aa¬cc ∧ ¬a

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

c → ac
  1. 1¬a
  2. 2a
  3. 3¬c
  4. 4c ∧ ¬a
6.Zor
∀x ∀y ¬R(x, y)∃x ∀y ¬R(x, y)∃x ∃y ¬R(x, y)∀x ∃y ¬R(x, y)

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

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

Cevap anahtarı

  1. 1. a = 1, b = 1
  2. 2. a = 0, b = 1
  3. 3. ¬¬r → ¬q
  4. 4. ¬r ∨ q
  5. 5. a
  6. 6. ∀x ∃y ¬R(x, y)

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