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
pqp ∨ q11100100

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

p ∨ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Kolay
pq¬(¬p ↔ q) ∧ (p ∨ q)11100100

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

¬(¬p ↔ 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
p ∧ (q → r)p → (q → r)(p → r) ∧ (q → r)(p → q) → r

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

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

a → (c ∧ b) önermesini olmayana ergi yoluyla ispatlamak istiyorsunuz. Başlangıçta hangi önermeyi varsayarsınız? Üzerine tıklayın.

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

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

¬((c ∧ b) ↔ (¬d ∧ (¬a ∧ b)))
N =
6.Zor

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

((d → ¬a) ↔ b) → (c → ¬(c ∨ d))
N =

Cevap anahtarı

  1. 1. p = 0, q = 0
  2. 2. p = 1, q = 1
  3. 3. p → (q → r)
  4. 4. a ∧ ¬(c ∧ b)
  5. 5. N = 4
  6. 6. N = 12

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