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

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

(b → a) ↔ (a → ¬b)
N =
2.Lengvas
pq(q ∨ ¬p) ∧ (¬q ∨ p)11?10?01?00?

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

(q ∨ ¬p) ∧ (¬q ∨ p)
N =
3.Vidutinis
abc¬(b ∨ a)¬(c ∧ b) ∧ ¬(b ∨ a)(c ↔ ¬a) ∧ (¬(c ∧ b) ∧ ¬(b ∨ a))111?110?101?100?011?010?001?000?

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

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

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

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

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

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

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

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

Atsakymai

  1. 1. N = 2
  2. 2. N = 2
  3. 3. N = 1
  4. 4. ¬(p ∨ r) → ¬q
  5. 5. N = 10
  6. 6. N = 9

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