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.

Öğ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) ∨ q11100100

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

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

(p ∧ ¬(r → q)) ∧ ¬(p ∨ (q ∨ ¬r)) için tam doğruluk tablosu kaç satırdan (N) oluşur?

(p ∧ ¬(r → q)) ∧ ¬(p ∨ (q ∨ ¬r))
N =
3.Orta
pqrq → p(r ∧ ¬p) ↔ (q → p)(¬r ∧ q) ↔ ((r ∧ ¬p) ↔ (q → p))111?110?101?100?011?010?001?000?

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

(¬r ∧ q) ↔ ((r ∧ ¬p) ↔ (q → p))
N =
4.Orta
¬a ∧ b¬a ∨ ¬b¬a ∨ b¬a ∧ ¬b

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

¬(a ∧ b)
  1. 1¬a ∧ b
  2. 2¬a ∨ ¬b
  3. 3¬a ∨ b
  4. 4¬a ∧ ¬b
5.Zor
bcc → bbc11100100

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

c → bb∴ c
  1. 1b = 1, c = 1
  2. 2b = 1, c = 0
  3. 3b = 0, c = 1
  4. 4b = 0, c = 0
6.Zor
∃x ¬A(x)∀x ¬A(x)∃x A(x)∀x A(x)

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

¬∀x A(x)
  1. 1∃x ¬A(x)
  2. 2∀x ¬A(x)
  3. 3∃x A(x)
  4. 4∀x A(x)

Cevap anahtarı

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

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