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
abc(a ∨ b) ∨ (b ∨ ¬c)111110101100011010001000

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

(a ∨ b) ∨ (b ∨ ¬c)
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
3.Vidutinis
(q → r) ∧ (¬r → ¬q)(q → r) ∧ (r → q)(q → r) ∨ (r → q)q ∧ r

Kuri formulė yra logiškai ekvivalenti q ↔ r? Spustelėkite ją.

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

Kuri formulė yra logiškai ekvivalenti a → c? Spustelėkite ją.

a → c
  1. 1¬c ∧ ¬a
  2. 2¬c → ¬a
  3. 3c → a
  4. 4¬a → ¬c
5.Sunkus
rr ∧ p¬qq

Duotos prielaidos r ∨ p; r → q; p → q. Kokia išvada iš jų išplaukia? Spustelėkite ją.

r ∨ pr → qp → q
  1. 1r
  2. 2r ∧ p
  3. 3¬q
  4. 4q
6.Sunkus
p ∧ q¬rrp

Duotos prielaidos p ∨ q; p → r; q → r. Kokia išvada iš jų išplaukia? Spustelėkite ją.

p ∨ qp → rq → r
  1. 1p ∧ q
  2. 2¬r
  3. 3r
  4. 4p

Atsakymai

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

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