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
ab¬b → a11100100

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

¬b → a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Kolay
aba ∧ ¬(¬a ↔ b)11100100

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

a ∧ ¬(¬a ↔ b)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Orta
q → ¬r¬q ∧ r¬q → ¬rq ∧ ¬r

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

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

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

r ∨ (q ∧ p)
  1. 1(r ∨ q) ∧ (r ∨ p)
  2. 2(r ∧ q) ∨ (r ∧ p)
  3. 3(r ∨ q) ∧ p
  4. 4r ∧ (q ∨ p)
5.Zor
∀x ¬A(x)∀x A(x)∃x A(x)∃x ¬A(x)

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

¬∃x A(x)
  1. 1∀x ¬A(x)
  2. 2∀x A(x)
  3. 3∃x A(x)
  4. 4∃x ¬A(x)
6.Zor

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

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

Cevap anahtarı

  1. 1. a = 0, b = 0
  2. 2. a = 1, b = 1
  3. 3. q ∧ ¬r
  4. 4. (r ∨ q) ∧ (r ∨ p)
  5. 5. ∀x ¬A(x)
  6. 6. N = 2

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