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.

Yeni çalışma kâğıdıİpuçlarıyla çevrimiçi çalışın

Öğ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
pqp ↔ (q → p)11100100

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

p ↔ (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 → ¬b) ∨ ¬b11?10?01?00?

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

(a → ¬b) ∨ ¬b
N =
3.Orta
abc¬c → ¬b(¬c → ¬b) ∧ a((c ∨ a) ∨ ¬b) ∧ ((¬c → ¬b) ∧ a)111?110?101?100?011?010?001?000?

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

((c ∨ a) ∨ ¬b) ∧ ((¬c → ¬b) ∧ a)
N =
4.Orta
c ↔ ¬bc ∧ ¬b¬c ∨ ¬b¬c ↔ ¬b

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

¬(c ↔ b)
  1. 1c ↔ ¬b
  2. 2c ∧ ¬b
  3. 3¬c ∨ ¬b
  4. 4¬c ↔ ¬b
5.Zor
∃x (A(x) → ∀y ¬R(x, y))∃x (¬A(x) ∧ ∃y R(x, y))∀x (A(x) ∧ ∀y ¬R(x, y))∃x (A(x) ∧ ∀y ¬R(x, y))

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

¬∀x (A(x) → ∃y R(x, y))
  1. 1∃x (A(x) → ∀y ¬R(x, y))
  2. 2∃x (¬A(x) ∧ ∃y R(x, y))
  3. 3∀x (A(x) ∧ ∀y ¬R(x, y))
  4. 4∃x (A(x) ∧ ∀y ¬R(x, y))
6.Zor

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

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

Cevap anahtarı

  1. 1. p = 0, q = 0
  2. 2. N = 3
  3. 3. N = 3
  4. 4. c ↔ ¬b
  5. 5. ∃x (A(x) ∧ ∀y ¬R(x, y))
  6. 6. N = 10

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