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.

Öğ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
aba → (a ∧ b)11100100

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

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

((p ∧ q) → r) ∨ (p ∨ q) için tam doğruluk tablosu kaç satırdan (N) oluşur?

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

p → ¬q önermesini olmayana ergi yoluyla ispatlamak istiyorsunuz. Başlangıçta hangi önermeyi varsayarsınız? Üzerine tıklayın.

p → ¬q
  1. 1¬p ∧ ¬q
  2. 2¬p ∧ ¬¬q
  3. 3¬p → ¬¬q
  4. 4p ∧ ¬¬q
4.Orta
pqrq ∨ r(p ↔ r) → (q ∨ r)(q → p) → ((p ↔ r) → (q ∨ r))111?110?101?100?011?010?001?000?

Doğruluk tablosunun 8 satırının kaçında (q → p) → ((p ↔ r) → (q ∨ r)) doğrudur? Bu sayıya N deyin.

(q → p) → ((p ↔ r) → (q ∨ r))
N =
5.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)
6.Zor
bcc ∨ bc¬b11100100

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

c ∨ bc∴ ¬b
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0

Cevap anahtarı

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

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