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
ab¬b → ¬a11?10?01?00?

Užpildykite teisingumo lentelę (1 = teisinga, 0 = klaidinga). Kiek eilučių N yra teisinga ¬b → ¬a?

¬b → ¬a
N =
2.Lengvas
aba → ¬(a ∧ b)11100100

Lygiai viena teisingumo lentelės eilutė daro a → ¬(a ∧ b) klaidingą. Spustelėkite tą eilutę.

a → ¬(a ∧ b)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Vidutinis
(p ∧ r) ∨ (p ∧ q)(p ∨ r) ∧ (p ∨ q)(p ∨ r) ∧ qp ∧ (r ∨ q)

Kuri formulė yra logiškai ekvivalenti p ∨ (r ∧ q)? Spustelėkite ją.

p ∨ (r ∧ q)
  1. 1(p ∧ r) ∨ (p ∧ q)
  2. 2(p ∨ r) ∧ (p ∨ q)
  3. 3(p ∨ r) ∧ q
  4. 4p ∧ (r ∨ q)
4.Vidutinis
¬p ↔ ¬q¬p ∨ ¬qp ∧ ¬qp ↔ ¬q

Kuri formulė yra logiškai ekvivalenti ¬(p ↔ q)? Spustelėkite ją.

¬(p ↔ q)
  1. 1¬p ↔ ¬q
  2. 2¬p ∨ ¬q
  3. 3p ∧ ¬q
  4. 4p ↔ ¬q
5.Sunkus
aca → c¬a¬c11100100

Argumentas su prielaidomis a → c; ¬a ir išvada ¬c negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

a → c¬a∴ ¬c
  1. 1a = 1, c = 1
  2. 2a = 1, c = 0
  3. 3a = 0, c = 1
  4. 4a = 0, c = 0
6.Sunkus
∀x (F(x) ∧ ¬G(x))∀x (F(x) → ¬G(x))∃x (F(x) ∧ ¬G(x))∃x (¬F(x) ∧ G(x))

Kuris teiginys yra ekvivalentus ¬∀x (F(x) → G(x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

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

Atsakymai

  1. 1. N = 3
  2. 2. a = 1, b = 1
  3. 3. (p ∨ r) ∧ (p ∨ q)
  4. 4. p ↔ ¬q
  5. 5. a = 0, c = 1
  6. 6. ∃x (F(x) ∧ ¬G(x))

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