Užduočių lapas tema Teiginių logika ir įrodymai su atsakymais

Nemokamas spausdinamas užduočių lapas tema Teiginių logika ir įrodymai: 6 uždavinių nuo lengvų iki egzamino lygio, su atsakymais. Atsispausdinkite arba išsaugokite kaip PDF.

Naujas užduočių lapasPraktikuokitės internete su užuominomis

Mokytojams: galima nemokamai spausdinti, kopijuoti ir naudoti per pamokas. Kiekvienas naujas lapas turi naujas reikšmes ir savo atsakymų raktą. Būsime dėkingi už nuorodą į ExamProblems jūsų kurso puslapyje.

Vardas: ____________________   Data: ____________

1.Lengvas
pq¬p ∨ q11100100

Lygiai viena teisingumo lentelės eilutė daro ¬p ∨ q klaidingą. Spustelėkite tą eilutę.

¬p ∨ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Lengvas

Kiek eilučių N turi pilna ¬(¬(r → p) ∨ q) → (¬r ∨ (p ∨ q)) teisingumo lentelė?

¬(¬(r → p) ∨ q) → (¬r ∨ (p ∨ q))
N =
3.Vidutinis
abc¬a¬a ∧ b((b ∨ c) → a) → (¬a ∧ b)111?110?101?100?011?010?001?000?

Kiek iš 8 teisingumo lentelės eilučių ((b ∨ c) → a) → (¬a ∧ b) yra teisinga? Pažymėkite šį skaičių N.

((b ∨ c) → a) → (¬a ∧ b)
N =
4.Vidutinis
(b ∧ a) ∧ ¬c¬(b ∧ a) ∧ c¬(b ∧ a) → ¬c¬(b ∧ a) ∧ ¬c

Norite įrodyti (b ∧ a) → c prieštara. Kurį teiginį darote prielaida pradžioje? Spustelėkite jį.

(b ∧ a) → c
  1. 1(b ∧ a) ∧ ¬c
  2. 2¬(b ∧ a) ∧ c
  3. 3¬(b ∧ a) → ¬c
  4. 4¬(b ∧ a) ∧ ¬c
5.Sunkus

Kiek iš 16 teisingumo lentelės eilučių daro (s ∨ (r → p)) → (q ↔ s) teisingą? Pažymėkite šį skaičių N.

(s ∨ (r → p)) → (q ↔ s)
N =
6.Sunkus
∃x ∀y ¬R(x, y)∀x ∃y ¬R(x, y)∃y ∀x ¬R(x, y)∀x ∀y ¬R(x, y)

Kuris teiginys yra ekvivalentus ¬∀x ∃y R(x, y), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∀x ∃y R(x, y)
  1. 1∃x ∀y ¬R(x, y)
  2. 2∀x ∃y ¬R(x, y)
  3. 3∃y ∀x ¬R(x, y)
  4. 4∀x ∀y ¬R(x, y)

Atsakymai

  1. 1. p = 1, q = 0
  2. 2. N = 8
  3. 3. N = 3
  4. 4. (b ∧ a) ∧ ¬c
  5. 5. N = 9
  6. 6. ∃x ∀y ¬R(x, y)

Išsamūs sprendimai žingsnis po žingsnio: praktikuokite šią temą svetainėje examproblems.com.