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 ∨ c)) ∨ ((c → b) ∨ ¬a) için tam doğruluk tablosu kaç satırdan (N) oluşur?

¬(a ↔ (¬b ∨ c)) ∨ ((c → b) ∨ ¬a)
N =
2.Kolay

¬((¬c → ¬a) ∧ ¬b) → ((a ∧ b) ∨ ¬c) için tam doğruluk tablosu yazılmıştır. Kaç satırda (N) a = 1 ve c = 0 olur?

¬((¬c → ¬a) ∧ ¬b) → ((a ∧ b) ∨ ¬c)
N =
3.Orta
q ∧ ¬¬p¬q ∧ ¬p¬q → ¬¬p¬q ∧ ¬¬p

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

q → ¬p
  1. 1q ∧ ¬¬p
  2. 2¬q ∧ ¬p
  3. 3¬q → ¬¬p
  4. 4¬q ∧ ¬¬p
4.Orta
¬p → ¬q¬p ∧ qp ∨ ¬q¬p ∨ q

Hangi formül p → q formülüne mantıksal olarak denktir? Üzerine tıklayın.

p → q
  1. 1¬p → ¬q
  2. 2¬p ∧ q
  3. 3p ∨ ¬q
  4. 4¬p ∨ q
5.Zor

Doğruluk tablosunun 16 satırının kaçı (c → ¬(a ∨ d)) → ((d ∧ b) ∨ a) formülünü doğru yapar? Bu sayıya N deyin.

(c → ¬(a ∨ d)) → ((d ∧ b) ∨ a)
N =
6.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))

Cevap anahtarı

  1. 1. N = 8
  2. 2. N = 2
  3. 3. q ∧ ¬¬p
  4. 4. ¬p ∨ q
  5. 5. N = 11
  6. 6. ∃x (A(x) ∧ ¬B(x))

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