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

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

(a ∨ (¬a ↔ b)) → (c → b)
N =
2.Kolay
ab(¬b → a) → (b ∨ ¬a)11100100

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

(¬b → a) → (b ∨ ¬a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Orta
¬a ∧ ¬(b ∧ c)¬a ∧ (b ∧ c)a ∧ ¬(b ∧ c)¬a → ¬(b ∧ c)

a → (b ∧ c) önermesini olmayana ergi yoluyla ispatlamak istiyorsunuz. Başlangıçta hangi önermeyi varsayarsınız? Üzerine tıklayın.

a → (b ∧ c)
  1. 1¬a ∧ ¬(b ∧ c)
  2. 2¬a ∧ (b ∧ c)
  3. 3a ∧ ¬(b ∧ c)
  4. 4¬a → ¬(b ∧ c)
4.Orta
abcc ↔ ¬a¬b ∧ (c ↔ ¬a)(¬a ∨ (c ∨ ¬b)) → (¬b ∧ (c ↔ ¬a))111?110?101?100?011?010?001?000?

Doğruluk tablosunun 8 satırının kaçında (¬a ∨ (c ∨ ¬b)) → (¬b ∧ (c ↔ ¬a)) doğrudur? Bu sayıya N deyin.

(¬a ∨ (c ∨ ¬b)) → (¬b ∧ (c ↔ ¬a))
N =
5.Zor

Doğruluk tablosunun 16 satırının kaçı ¬((¬a ∨ c) ↔ (b ↔ c)) ∧ ((a ∨ d) → ¬d) formülünü doğru yapar? Bu sayıya N deyin.

¬((¬a ∨ c) ↔ (b ↔ c)) ∧ ((a ∨ d) → ¬d)
N =
6.Zor
∀x ∃y ¬R(x, y)∃y ∀x ¬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∃y ∀x ¬R(x, y)
  3. 3∃x ∀y ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)

Cevap anahtarı

  1. 1. N = 8
  2. 2. a = 1, b = 0
  3. 3. a ∧ ¬(b ∧ c)
  4. 4. N = 3
  5. 5. N = 4
  6. 6. ∃x ∀y ¬R(x, y)

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