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

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

(q → p) ∨ (p ∧ q)
N =
2.Kolay
pqp → (¬p ∨ q)11100100

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

p → (¬p ∨ q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
abc¬a ∨ b(¬a ∨ b) ∧ c((a → b) ∨ c) ↔ ((¬a ∨ b) ∧ c)111?110?101?100?011?010?001?000?

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

((a → b) ∨ c) ↔ ((¬a ∨ b) ∧ c)
N =
4.Orta
totolojiçelişkiolumsallık

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

((c → a) ∧ a) → c
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor
∀x ¬P(x)∀x P(x)∃x ¬P(x)∃x P(x)

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

¬∀x P(x)
  1. 1∀x ¬P(x)
  2. 2∀x P(x)
  3. 3∃x ¬P(x)
  4. 4∃x P(x)
6.Zor
pqrq → pr → pq → r111110101100011010001000

Öncülleri q → p; r → p ve sonucu q → r olan argüman geçersizdir. Doğruluk tablosunda karşı örnek olan satıra tıklayın.

q → pr → p∴ q → r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0

Cevap anahtarı

  1. 1. N = 3
  2. 2. p = 1, q = 0
  3. 3. N = 4
  4. 4. olumsallık
  5. 5. ∃x ¬P(x)
  6. 6. p = 1, q = 1, r = 0

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