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
pq¬((q ∧ ¬p) ∨ ¬q)11?10?01?00?

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

¬((q ∧ ¬p) ∨ ¬q)
N =
2.Lengvas

Užrašyta pilna (a ∧ c) ∧ ((c → a) ∨ b) teisingumo lentelė. Kiek eilučių N yra b = 1 ir c = 0?

(a ∧ c) ∧ ((c → a) ∨ b)
N =
3.Vidutinis
abca ∧ c¬b ∨ (a ∧ c)(¬(a ∧ b) → ¬c) ∧ (¬b ∨ (a ∧ c))111?110?101?100?011?010?001?000?

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

(¬(a ∧ b) → ¬c) ∧ (¬b ∨ (a ∧ c))
N =
4.Vidutinis
p ∨ ¬r¬p → ¬r¬p ∧ r¬p ∨ r

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

p → r
  1. 1p ∨ ¬r
  2. 2¬p → ¬r
  3. 3¬p ∧ r
  4. 4¬p ∨ r
5.Sunkus
∀x (P(x) ∧ ∀y ¬R(x, y))∃x (P(x) → ∀y ¬R(x, y))∃x (¬P(x) ∧ ∃y R(x, y))∃x (P(x) ∧ ∀y ¬R(x, y))

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

¬∀x (P(x) → ∃y R(x, y))
  1. 1∀x (P(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (P(x) → ∀y ¬R(x, y))
  3. 3∃x (¬P(x) ∧ ∃y R(x, y))
  4. 4∃x (P(x) ∧ ∀y ¬R(x, y))
6.Sunkus
c¬b¬cb ∧ ¬c

Duotos prielaidos b → c; b. Kokia išvada iš jų išplaukia? Spustelėkite ją.

b → cb
  1. 1c
  2. 2¬b
  3. 3¬c
  4. 4b ∧ ¬c

Atsakymai

  1. 1. N = 1
  2. 2. N = 2
  3. 3. N = 3
  4. 4. ¬p ∨ r
  5. 5. ∃x (P(x) ∧ ∀y ¬R(x, y))
  6. 6. c

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