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¬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
2.Kolay

((¬b → a) ∨ a) → ((b → c) ↔ ¬c) için tam doğruluk tablosu kaç satırdan (N) oluşur?

((¬b → a) ∨ a) → ((b → c) ↔ ¬c)
N =
3.Orta
abc¬(c ∧ b)¬a → ¬(c ∧ b)(c → b) ∧ (¬a → ¬(c ∧ b))111?110?101?100?011?010?001?000?

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

(c → b) ∧ (¬a → ¬(c ∧ b))
N =
4.Orta
p → q¬q ∧ p¬q ∨ p¬q → ¬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. 4¬q → ¬p
5.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))
6.Zor
bcb → c¬b¬c11100100

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

b → c¬b∴ ¬c
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0

Cevap anahtarı

  1. 1. p = 1, q = 0
  2. 2. N = 8
  3. 3. N = 5
  4. 4. ¬q ∨ p
  5. 5. ∀x (A(x) ∧ ¬B(x))
  6. 6. b = 0, c = 1

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