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
pqp ↔ q11?10?01?00?

Užpildykite teisingumo lentelę (1 = teisinga, 0 = klaidinga). Kiek eilučių N yra teisinga p ↔ q?

p ↔ q
N =
2.Lengvas
ab¬((b ↔ a) → a)11100100

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

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

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

(q ∨ p) → r
  1. 1(q → r) ∧ (p → r)
  2. 2q ∨ (p → r)
  3. 3(q → r) ∨ (p → r)
  4. 4(q ∧ p) → r
4.Vidutinis
pqr¬(r → q)(p ↔ (¬p ∨ r)) ∧ ¬(r → q)¬((p ↔ (¬p ∨ r)) ∧ ¬(r → q))111?110?101?100?011?010?001?000?

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

¬((p ↔ (¬p ∨ r)) ∧ ¬(r → q))
N =
5.Sunkus
∃x ∀y ¬R(x, y)∀x ∀y ¬R(x, y)∀x ∃y ¬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∀x ∃y ¬R(x, y)
  4. 4∃x ∃y ¬R(x, y)
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 = 2
  2. 2. a = 0, b = 0
  3. 3. (q → r) ∧ (p → r)
  4. 4. N = 7
  5. 5. ∀x ∃y ¬R(x, y)
  6. 6. ∀x (F(x) → ¬G(x))

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