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

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

(q → ¬r) ∨ (p ∨ q)

N =

2.Kolay

Doğruluk tablosunu tamamlayın (1 = doğru, 0 = yanlış). a ∨ (¬c ∧ b) kaç satırda (N) doğrudur?

a ∨ (¬c ∧ b)

N =

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

1(q ∨ p) ∧ ¬¬r
2¬¬r → ¬(q ∨ p)
3¬(q ∨ p) → ¬¬r
4¬r → (q ∨ p)

4.Orta

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

((r → p) ∧ p) → r

1totoloji
2çelişki
3olumsallık

5.Zor

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

¬∀x (F(x) ∨ G(x))

1∃x (¬F(x) ∨ ¬G(x))
2∃x (¬F(x) ∧ ¬G(x))
3∀x (¬F(x) ∨ ¬G(x))
4∀x (¬F(x) ∧ ¬G(x))

6.Zor

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

¬∀x (F(x) → G(x))

1∃x (F(x) ∧ ¬G(x))
2∀x (F(x) ∧ ¬G(x))
3∀x (F(x) → ¬G(x))
4∃x (¬F(x) ∧ G(x))

Cevap anahtarı

1. N = 8
2. N = 5
3. ¬¬r → ¬(q ∨ p)
4. olumsallık
5. ∃x (¬F(x) ∧ ¬G(x))
6. ∃x (F(x) ∧ ¬G(x))

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