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

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

(p ∧ q) ↔ (q ∨ ¬p)
N =
2.Lengvas
pqr¬((p ∧ r) ∧ (q ↔ (p ∨ q)))111110101100011010001000

Lygiai viena teisingumo lentelės eilutė daro ¬((p ∧ r) ∧ (q ↔ (p ∨ q))) klaidingą. Spustelėkite tą eilutę.

¬((p ∧ r) ∧ (q ↔ (p ∨ q)))
  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
3.Vidutinis
a ∨ ¬c¬a ∧ c¬a ∧ ¬c¬a ∨ ¬c

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

¬(a ∨ c)
  1. 1a ∨ ¬c
  2. 2¬a ∧ c
  3. 3¬a ∧ ¬c
  4. 4¬a ∨ ¬c
4.Vidutinis
abc¬c¬(c ∨ ¬b) ↔ ¬c(¬a → (a ∨ b)) → (¬(c ∨ ¬b) ↔ ¬c)111?110?101?100?011?010?001?000?

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

(¬a → (a ∨ b)) → (¬(c ∨ ¬b) ↔ ¬c)
N =
5.Sunkus
abcc → ba → bc → a111110101100011010001000

Argumentas su prielaidomis c → b; a → b ir išvada c → a negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

c → ba → b∴ c → a
  1. 1a = 1, b = 1, c = 1
  2. 2a = 1, b = 1, c = 0
  3. 3a = 1, b = 0, c = 1
  4. 4a = 1, b = 0, c = 0
  5. 5a = 0, b = 1, c = 1
  6. 6a = 0, b = 1, c = 0
  7. 7a = 0, b = 0, c = 1
  8. 8a = 0, b = 0, c = 0
6.Sunkus
pqp → q¬p¬q11100100

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

p → q¬p∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0

Atsakymai

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

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