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 → a) → (b → a)11?10?01?00?

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

(¬b → a) → (b → a)
N =
2.Kolay

((b → ¬c) ∨ a) ∧ (b → (¬c ∧ a)) için tam doğruluk tablosu kaç satırdan (N) oluşur?

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

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

¬(¬q → (q ∧ ¬r)) ∨ ((p ∧ r) ∨ ¬p)
N =
4.Orta
(a → b) ∧ (c → b)(a ∧ c) → ba ∨ (c → b)(a → b) ∨ (c → b)

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

(a ∨ c) → b
  1. 1(a → b) ∧ (c → b)
  2. 2(a ∧ c) → b
  3. 3a ∨ (c → b)
  4. 4(a → b) ∨ (c → b)
5.Zor
a → ba ∧ b¬a → ¬bb → a

a → c; c → b öncülleri verilmiştir. Bunlardan hangi sonuç çıkar? Üzerine tıklayın.

a → cc → b
  1. 1a → b
  2. 2a ∧ b
  3. 3¬a → ¬b
  4. 4b → a
6.Zor
∃x (¬P(x) ∧ ¬Q(x))∀x (¬P(x) ∨ ¬Q(x))∃x (¬P(x) ∨ ¬Q(x))∀x (¬P(x) ∧ ¬Q(x))

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

¬∀x (P(x) ∨ Q(x))
  1. 1∃x (¬P(x) ∧ ¬Q(x))
  2. 2∀x (¬P(x) ∨ ¬Q(x))
  3. 3∃x (¬P(x) ∨ ¬Q(x))
  4. 4∀x (¬P(x) ∧ ¬Q(x))

Cevap anahtarı

  1. 1. N = 3
  2. 2. N = 8
  3. 3. N = 7
  4. 4. (a → b) ∧ (c → b)
  5. 5. a → b
  6. 6. ∃x (¬P(x) ∧ ¬Q(x))

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