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
pqq ∨ (p → q)11?10?01?00?

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

q ∨ (p → q)
N =
2.Kolay
ab(¬b ∨ a) ↔ b11100100

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

(¬b ∨ a) ↔ b
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Orta
p ↔ ¬r¬p ↔ ¬r¬p ∨ ¬rp ∧ ¬r

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

¬(p ↔ r)
  1. 1p ↔ ¬r
  2. 2¬p ↔ ¬r
  3. 3¬p ∨ ¬r
  4. 4p ∧ ¬r
4.Orta
¬¬q → ¬¬r¬r ∧ ¬¬q¬¬r → ¬¬q¬q → ¬r

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

¬r → ¬q
  1. 1¬¬q → ¬¬r
  2. 2¬r ∧ ¬¬q
  3. 3¬¬r → ¬¬q
  4. 4¬q → ¬r
5.Zor
∀x ¬F(x)∃x F(x)∃x ¬F(x)∀x F(x)

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

¬∀x F(x)
  1. 1∀x ¬F(x)
  2. 2∃x F(x)
  3. 3∃x ¬F(x)
  4. 4∀x F(x)
6.Zor

Doğruluk tablosunun 16 satırının kaçı ((¬r → ¬p) ∧ s) ∨ ((r ∧ ¬p) ∨ ¬q) formülünü doğru yapar? Bu sayıya N deyin.

((¬r → ¬p) ∧ s) ∨ ((r ∧ ¬p) ∨ ¬q)
N =

Cevap anahtarı

  1. 1. N = 3
  2. 2. a = 1, b = 1
  3. 3. p ↔ ¬r
  4. 4. ¬¬q → ¬¬r
  5. 5. ∃x ¬F(x)
  6. 6. N = 12

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