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) ∧ ¬p11100100

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

(¬p ↔ q) ∧ ¬p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Kolay
pqq → p11100100

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

q → p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Orta
abc(c → a) ↔ (b ∧ a)(b ∧ c) ↔ ((c → a) ↔ (b ∧ a))¬((b ∧ c) ↔ ((c → a) ↔ (b ∧ a)))111?110?101?100?011?010?001?000?

Doğruluk tablosunun 8 satırının kaçında ¬((b ∧ c) ↔ ((c → a) ↔ (b ∧ a))) doğrudur? Bu sayıya N deyin.

¬((b ∧ c) ↔ ((c → a) ↔ (b ∧ a)))
N =
4.Orta
totolojiçelişkiolumsallık

¬(r ∧ p) ↔ (¬r ∨ ¬p) bir totoloji, bir çelişki mi yoksa olumsallık mı? Cevabınıza tıklayın.

¬(r ∧ p) ↔ (¬r ∨ ¬p)
  1. 1totoloji
  2. 2çelişki
  3. 3olumsallık
5.Zor
cbc ∧ a¬b

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

c ∨ ac → ba → b
  1. 1c
  2. 2b
  3. 3c ∧ a
  4. 4¬b
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. p = 0, q = 1
  2. 2. p = 0, q = 1
  3. 3. N = 2
  4. 4. totoloji
  5. 5. b
  6. 6. ∃x (P(x) ∧ ∀y ¬R(x, y))

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