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

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

r ∧ (¬q ∨ p)
N =
2.Lengvas
ab(¬a ∨ b) ∧ ¬(b → a)11100100

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

(¬a ∨ b) ∧ ¬(b → a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
3.Vidutinis
pqrq ∧ rp → r(q ∧ r) ∨ (p → r)111?110?101?100?011?010?001?000?

Kiek iš 8 teisingumo lentelės eilučių (q ∧ r) ∨ (p → r) yra teisinga? Pažymėkite šį skaičių N.

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

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

¬(b ∧ c)
  1. 1¬b ∧ ¬c
  2. 2¬b ∨ ¬c
  3. 3¬b ∧ c
  4. 4¬b ∨ c
5.Sunkus
pqrp → (r ∨ q)pr111110101100011010001000

Argumentas su prielaidomis p → (r ∨ q); p ir išvada r negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

p → (r ∨ q)p∴ r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0
6.Sunkus

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

¬(a → (¬b → d)) ∨ (¬(b → a) ∧ c)
N =

Atsakymai

  1. 1. N = 3
  2. 2. a = 0, b = 1
  3. 3. N = 6
  4. 4. ¬b ∨ ¬c
  5. 5. p = 1, q = 1, r = 0
  6. 6. N = 4

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