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

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

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

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

¬q → (q ∨ ¬p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
¬(c ∨ b) → ¬¬a¬a → (c ∨ b)¬¬a → ¬(c ∨ b)(c ∨ b) ∧ ¬¬a

(c ∨ b) → ¬a önermesini karşıt değil yoluyla ispatlamak istiyorsunuz. Bunun yerine hangi gerektirmeyi ispatlarsınız? Üzerine tıklayın.

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

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

(q ∧ p) → r
  1. 1q → (p → r)
  2. 2(q → p) → r
  3. 3q ∧ (p → r)
  4. 4(q → r) ∧ (p → r)
5.Zor
∃x (¬F(x) ∧ ¬G(x))∀x (F(x) → ¬G(x))∃x (F(x) → ¬G(x))∀x (F(x) ∧ ¬G(x))

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

¬∃x (F(x) ∧ G(x))
  1. 1∃x (¬F(x) ∧ ¬G(x))
  2. 2∀x (F(x) → ¬G(x))
  3. 3∃x (F(x) → ¬G(x))
  4. 4∀x (F(x) ∧ ¬G(x))
6.Zor

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

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

Cevap anahtarı

  1. 1. N = 1
  2. 2. p = 1, q = 0
  3. 3. ¬¬a → ¬(c ∨ b)
  4. 4. q → (p → r)
  5. 5. ∀x (F(x) → ¬G(x))
  6. 6. N = 8

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