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 ∧ ¬a11100100

Lygiai viena teisingumo lentelės eilutė daro ¬b ∧ ¬a teisingą. Spustelėkite tą eilutę.

¬b ∧ ¬a
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Lengvas
pqp ∨ 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
3.Vidutinis
(p ∨ q) → ¬r¬r ∧ ¬(p ∨ q)¬¬r → ¬(p ∨ q)¬(p ∨ q) → ¬¬r

Norite įrodyti ¬r → (p ∨ q) kontrapozicija. Kurią implikaciją įrodote vietoj jos? Spustelėkite ją.

¬r → (p ∨ q)
  1. 1(p ∨ q) → ¬r
  2. 2¬r ∧ ¬(p ∨ q)
  3. 3¬¬r → ¬(p ∨ q)
  4. 4¬(p ∨ q) → ¬¬r
4.Vidutinis
c ∨ ¬a¬c ∧ a¬c ∨ ¬a¬c ∧ ¬a

Kuri formulė yra logiškai ekvivalenti ¬(c ∨ a)? Spustelėkite ją.

¬(c ∨ a)
  1. 1c ∨ ¬a
  2. 2¬c ∧ a
  3. 3¬c ∨ ¬a
  4. 4¬c ∧ ¬a
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

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

¬(q ∧ (p ∨ s)) ∨ (r ∨ ¬(s ∨ p))
N =

Atsakymai

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

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