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.
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
Lygiai viena teisingumo lentelės eilutė daro (¬q ∧ (p → q)) ∨ (r → p) klaidingą. Spustelėkite tą eilutę.
(¬q ∧ (p → q)) ∨ (r → p)
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Lengvas
Lygiai viena teisingumo lentelės eilutė daro p ↔ (p → q) teisingą. Spustelėkite tą eilutę.
p ↔ (p → q)
1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0
3.Vidutinis
Kiek iš 8 teisingumo lentelės eilučių (r ∧ (r ∨ p)) ∧ (q → ¬p) yra teisinga? Pažymėkite šį skaičių N.
(r ∧ (r ∨ p)) ∧ (q → ¬p)
N =
4.Vidutinis
Kuri formulė yra logiškai ekvivalenti c → b? Spustelėkite ją.
c → b
1¬c ∨ b
2¬c ∧ b
3b → c
4¬c → ¬b
5.Sunkus
Kiek iš 16 teisingumo lentelės eilučių daro (q ∨ ¬(p → ¬r)) ∧ ((s ∨ ¬q) ∧ (p ↔ s)) teisingą? Pažymėkite šį skaičių N.
(q ∨ ¬(p → ¬r)) ∧ ((s ∨ ¬q) ∧ (p ↔ s))
N =
6.Sunkus
Kuris teiginys yra ekvivalentus ¬∃x (A(x) ∧ B(x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.
¬∃x (A(x) ∧ B(x))
1∃x (¬A(x) ∧ ¬B(x))
2∀x (A(x) → ¬B(x))
3∃x (A(x) → ¬B(x))
4∀x (A(x) ∧ ¬B(x))
Atsakymai
1. p = 0, q = 1, r = 1
2. p = 1, q = 1
3. N = 3
4. ¬c ∨ b
5. N = 3
6. ∀x (A(x) → ¬B(x))
Išsamūs sprendimai žingsnis po žingsnio: praktikuokite šią temą svetainėje examproblems.com.