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
Doğruluk tablosunun tam bir satırı ¬(¬(r → q) ∧ ((p ∨ q) ↔ r)) formülünü yanlış yapar. O satıra tıklayın.
¬(¬(r → q) ∧ ((p ∨ q) ↔ r))
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Kolay
Doğruluk tablosunun tam bir satırı a ∧ ¬b formülünü doğru yapar. O satıra tıklayın.
a ∧ ¬b
1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0
3.Orta
(q ∨ p) → r önermesini karşıt değil yoluyla ispatlamak istiyorsunuz. Bunun yerine hangi gerektirmeyi ispatlarsınız? Üzerine tıklayın.
(q ∨ p) → r
1r → (q ∨ p)
2(q ∨ p) ∧ ¬r
3¬r → ¬(q ∨ p)
4¬(q ∨ p) → ¬r
4.Orta
Hangi formül ¬(q → p) formülüne mantıksal olarak denktir? Üzerine tıklayın.
¬(q → p)
1¬q ∨ ¬p
2¬q ∧ p
3q ∧ ¬p
4¬q → ¬p
5.Zor
Doğruluk tablosunun 16 satırının kaçı (c ∧ (¬d → b)) → (d ∨ (¬c ↔ a)) formülünü doğru yapar? Bu sayıya N deyin.
(c ∧ (¬d → b)) → (d ∨ (¬c ↔ a))
N =
6.Zor
Değili tamamen içeri taşınmış hâliyle hangi önerme ¬∀x (A(x) → ∃y R(x, y)) önermesine denktir? Üzerine tıklayın.
¬∀x (A(x) → ∃y R(x, y))
1∃x (A(x) ∧ ∀y ¬R(x, y))
2∃x (A(x) → ∀y ¬R(x, y))
3∀x (A(x) ∧ ∀y ¬R(x, y))
4∃x (¬A(x) ∧ ∃y R(x, y))
Cevap anahtarı
1. p = 1, q = 0, r = 1
2. a = 1, b = 0
3. ¬r → ¬(q ∨ p)
4. q ∧ ¬p
5. N = 15
6. ∃x (A(x) ∧ ∀y ¬R(x, y))
Tam adım adım çözümler: bu konuyu examproblems.com’da çalışın.