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) ∧ (¬b ∧ a)11100100

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

(b → a) ∧ (¬b ∧ a)
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Lengvas
pq¬p ∨ q11100100

Lygiai viena teisingumo lentelės eilutė daro ¬p ∨ q klaidingą. Spustelėkite tą eilutę.

¬p ∨ q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Vidutinis
pqr¬(q ∨ p)p ∨ r¬(q ∨ p) ↔ (p ∨ r)111?110?101?100?011?010?001?000?

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

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

Norite įrodyti (q ∨ p) → ¬r kontrapozicija. Kurią implikaciją įrodote vietoj jos? Spustelėkite ją.

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

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

((a → c) ↔ b) → (c ↔ d)
N =
6.Sunkus

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

(¬d ∧ (a ∧ c)) ↔ ((a ↔ b) ∧ c)
N =

Atsakymai

  1. 1. a = 1, b = 0
  2. 2. p = 1, q = 0
  3. 3. N = 2
  4. 4. ¬¬r → ¬(q ∨ p)
  5. 5. N = 12
  6. 6. N = 12

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