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(¬a ∨ b) ↔ (a ↔ b)11100100

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

(¬a ∨ b) ↔ (a ↔ b)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Lengvas
pq¬(q ∨ p) ∨ ¬q11?10?01?00?

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

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

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

(¬p → r) → ((q ∨ r) ∧ q)
N =
4.Vidutinis
¬r → ¬qr ∧ ¬q¬r ∧ ¬q¬r ∧ q

Norite įrodyti r → q prieštara. Kurį teiginį darote prielaida pradžioje? Spustelėkite jį.

r → q
  1. 1¬r → ¬q
  2. 2r ∧ ¬q
  3. 3¬r ∧ ¬q
  4. 4¬r ∧ q
5.Sunkus
∀x (P(x) → ¬Q(x))∀x (P(x) ∧ ¬Q(x))∃x (P(x) ∧ ¬Q(x))∀x (¬P(x) → ¬Q(x))

Kuris teiginys yra ekvivalentus ¬∃x (P(x) → Q(x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∃x (P(x) → Q(x))
  1. 1∀x (P(x) → ¬Q(x))
  2. 2∀x (P(x) ∧ ¬Q(x))
  3. 3∃x (P(x) ∧ ¬Q(x))
  4. 4∀x (¬P(x) → ¬Q(x))
6.Sunkus
aca ∨ ca¬c11100100

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

a ∨ ca∴ ¬c
  1. 1a = 1, c = 1
  2. 2a = 1, c = 0
  3. 3a = 0, c = 1
  4. 4a = 0, c = 0

Atsakymai

  1. 1. a = 0, b = 1
  2. 2. N = 2
  3. 3. N = 5
  4. 4. r ∧ ¬q
  5. 5. ∀x (P(x) ∧ ¬Q(x))
  6. 6. a = 1, c = 1

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