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(¬b → a) ∨ a11?10?01?00?

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

(¬b → a) ∨ a
N =
2.Lengvas
pqr¬(¬q ∨ ¬p) ↔ r111?110?101?100?011?010?001?000?

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

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

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

¬a → (b ∨ c)
  1. 1¬¬a → ¬(b ∨ c)
  2. 2¬¬a ∧ (b ∨ c)
  3. 3¬¬a ∧ ¬(b ∨ c)
  4. 4¬a ∧ ¬(b ∨ c)
4.Vidutinis
(a ∨ c) ∧ ba ∧ (c ∨ b)(a ∨ c) ∧ (a ∨ b)(a ∧ c) ∨ (a ∧ b)

Kuri formulė yra logiškai ekvivalenti a ∨ (c ∧ b)? Spustelėkite ją.

a ∨ (c ∧ b)
  1. 1(a ∨ c) ∧ b
  2. 2a ∧ (c ∨ b)
  3. 3(a ∨ c) ∧ (a ∨ b)
  4. 4(a ∧ c) ∨ (a ∧ b)
5.Sunkus
¬q¬pq ∧ ¬pp

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

q → pq
  1. 1¬q
  2. 2¬p
  3. 3q ∧ ¬p
  4. 4p
6.Sunkus

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

¬((q ∧ p) ∨ (r ∧ ¬(r → s)))
N =

Atsakymai

  1. 1. N = 3
  2. 2. N = 4
  3. 3. ¬a ∧ ¬(b ∨ c)
  4. 4. (a ∨ c) ∧ (a ∨ b)
  5. 5. p
  6. 6. N = 9

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