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 → ¬p11100100

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

q → ¬p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Kolay
ab(b ∧ a) ∨ ¬a11100100

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

(b ∧ a) ∨ ¬a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Orta
totolojiçelişkiolumsallık

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

(c ∨ b) ∧ (¬c ∧ ¬b)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
4.Orta
(r ∨ q) ∧ ¬pp → (r ∨ q)¬(r ∨ q) → ¬p¬p → ¬(r ∨ q)

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

(r ∨ q) → p
  1. 1(r ∨ q) ∧ ¬p
  2. 2p → (r ∨ q)
  3. 3¬(r ∨ q) → ¬p
  4. 4¬p → ¬(r ∨ q)
5.Zor
qrq → rrq11100100

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

q → rr∴ q
  1. 1q = 1, r = 1
  2. 2q = 1, r = 0
  3. 3q = 0, r = 1
  4. 4q = 0, r = 0
6.Zor

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

¬((b → (c ∧ ¬a)) ↔ ((d ∧ a) ∧ b))
N =

Cevap anahtarı

  1. 1. p = 1, q = 1
  2. 2. a = 1, b = 0
  3. 3. çelişki
  4. 4. ¬p → ¬(r ∨ q)
  5. 5. q = 0, r = 1
  6. 6. N = 12

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