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 ∨ ¬q) ∧ ¬(q ↔ p)11100100

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

(p ∨ ¬q) ∧ ¬(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¬a ↔ ¬b11?10?01?00?

Doğruluk tablosunu tamamlayın (1 = doğru, 0 = yanlış). ¬a ↔ ¬b kaç satırda (N) doğrudur?

¬a ↔ ¬b
N =
3.Orta
p ∧ (r ∨ q)(p ∨ r) ∧ (p ∨ q)(p ∨ r) ∧ q(p ∧ r) ∨ (p ∧ q)

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

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

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

(q ∧ p) → r
  1. 1(q → r) ∧ (p → r)
  2. 2q ∧ (p → r)
  3. 3q → (p → r)
  4. 4(q → p) → r
5.Zor

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

((¬q ∧ s) → q) ∧ ((s ∨ p) ↔ ¬r)
N =
6.Zor
pqrp → (q ∨ r)pq111110101100011010001000

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

p → (q ∨ r)p∴ q
  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. p = 1, q = 0
  2. 2. N = 2
  3. 3. (p ∨ r) ∧ (p ∨ q)
  4. 4. q → (p → r)
  5. 5. N = 6
  6. 6. p = 1, q = 0, r = 1

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