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¬p → (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
2.Kolay
pqr¬((r ∨ q) ∧ p)111?110?101?100?011?010?001?000?

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

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

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

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

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

(r ∨ ¬q) ∨ ((q ∨ r) → ¬p)
N =
5.Zor
abcb → ac → ab → c111110101100011010001000

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

b → ac → a∴ b → c
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
6.Zor

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

(a ∨ (b ∧ ¬c)) ∧ ((c ∧ a) ∨ d)
N =

Cevap anahtarı

  1. 1. p = 0, q = 0
  2. 2. N = 5
  3. 3. ¬r ∧ ¬q
  4. 4. N = 7
  5. 5. a = 1, b = 1, c = 0
  6. 6. N = 7

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