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

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

(a ∨ (¬b → a)) ∨ (b ∧ ¬c)
N =
2.Kolay
pq(q ∨ p) → q11?10?01?00?

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

(q ∨ p) → q
N =
3.Orta
¬¬q ∧ (p ∨ r)¬¬q ∧ ¬(p ∨ r)¬¬q → ¬(p ∨ r)¬q ∧ ¬(p ∨ r)

¬q → (p ∨ r) önermesini olmayana ergi yoluyla ispatlamak istiyorsunuz. Başlangıçta hangi önermeyi varsayarsınız? Üzerine tıklayın.

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

Hangi formül c ∧ (b ∨ a) formülüne mantıksal olarak denktir? Üzerine tıklayın.

c ∧ (b ∨ a)
  1. 1(c ∧ b) ∨ a
  2. 2c ∨ (b ∧ a)
  3. 3(c ∨ b) ∧ (c ∨ a)
  4. 4(c ∧ b) ∨ (c ∧ a)
5.Zor
∃x (P(x) → ¬Q(x))∃x (¬P(x) ∧ Q(x))∃x (P(x) ∧ ¬Q(x))∀x (P(x) ∧ ¬Q(x))

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

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

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