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
pq¬p ∨ (q ↔ ¬p)11?10?01?00?

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

¬p ∨ (q ↔ ¬p)
N =
2.Kolay
pqq ↔ (¬q ∧ ¬p)11?10?01?00?

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

q ↔ (¬q ∧ ¬p)
N =
3.Orta
a ∧ (b → c)(a → c) ∧ (b → c)a → (b → c)(a → b) → c

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

(a ∧ b) → c
  1. 1a ∧ (b → c)
  2. 2(a → c) ∧ (b → c)
  3. 3a → (b → c)
  4. 4(a → b) → c
4.Orta
p ∧ ¬r¬p ∧ ¬r¬p ∧ r¬p → ¬r

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

p → r
  1. 1p ∧ ¬r
  2. 2¬p ∧ ¬r
  3. 3¬p ∧ r
  4. 4¬p → ¬r
5.Zor

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

¬((q → ¬s) ∨ ((p ∧ q) ∧ (¬r ∧ s)))
N =
6.Zor
∃x (A(x) ∧ ¬B(x))∃x (A(x) → ¬B(x))∀x (A(x) → ¬B(x))∀x (A(x) ∧ ¬B(x))

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

¬∀x (A(x) → B(x))
  1. 1∃x (A(x) ∧ ¬B(x))
  2. 2∃x (A(x) → ¬B(x))
  3. 3∀x (A(x) → ¬B(x))
  4. 4∀x (A(x) ∧ ¬B(x))

Cevap anahtarı

  1. 1. N = 3
  2. 2. N = 1
  3. 3. a → (b → c)
  4. 4. p ∧ ¬r
  5. 5. N = 3
  6. 6. ∃x (A(x) ∧ ¬B(x))

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