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
pqr¬(p ∧ (¬r ∨ q))111?110?101?100?011?010?001?000?

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

¬(p ∧ (¬r ∨ q))
N =
2.Lengvas
ab¬a ∨ (b ∧ a)11?10?01?00?

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

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

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

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

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

(q ∨ p) → ¬r
  1. 1¬(q ∨ p) ∧ ¬r
  2. 2¬(q ∨ p) → ¬¬r
  3. 3¬(q ∨ p) ∧ ¬¬r
  4. 4(q ∨ p) ∧ ¬¬r
5.Sunkus

Kiek iš 16 teisingumo lentelės eilučių daro ((a → c) ∧ c) ∨ ((b ∧ d) ∨ (d → b)) teisingą? Pažymėkite šį skaičių N.

((a → c) ∧ c) ∨ ((b ∧ d) ∨ (d → b))
N =
6.Sunkus
q → rr → q¬r → ¬qr ∧ q

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

r → pp → q
  1. 1q → r
  2. 2r → q
  3. 3¬r → ¬q
  4. 4r ∧ q

Atsakymai

  1. 1. N = 5
  2. 2. N = 3
  3. 3. N = 4
  4. 4. (q ∨ p) ∧ ¬¬r
  5. 5. N = 14
  6. 6. r → q

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