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

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

(p ∨ ¬q) → (q ∨ p)
N =
2.Kolay
pqq ↔ (p ∨ q)11100100

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

q ↔ (p ∨ q)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
q ∨ (r ∧ p)(q ∧ r) ∨ p(q ∧ r) ∨ (q ∧ p)(q ∨ r) ∧ (q ∨ p)

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

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

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

q → p
  1. 1p → q
  2. 2¬q ∨ p
  3. 3¬q ∧ p
  4. 4q ∨ ¬p
5.Zor
prp ∨ rp¬r11100100

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

p ∨ rp∴ ¬r
  1. 1p = 1, r = 1
  2. 2p = 1, r = 0
  3. 3p = 0, r = 1
  4. 4p = 0, r = 0
6.Zor
∃x (P(x) ∧ ∀y ¬R(x, y))∀x (P(x) ∧ ∀y ¬R(x, y))∃x (¬P(x) ∧ ∃y R(x, y))∃x (P(x) → ∀y ¬R(x, y))

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

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

Cevap anahtarı

  1. 1. N = 3
  2. 2. p = 1, q = 0
  3. 3. (q ∧ r) ∨ (q ∧ p)
  4. 4. ¬q ∨ p
  5. 5. p = 1, r = 1
  6. 6. ∃x (P(x) ∧ ∀y ¬R(x, y))

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