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
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

Kiek eilučių N turi pilna (¬q ∨ r) ∧ ¬(¬p → ¬(q ∧ ¬p)) teisingumo lentelė?

(¬q ∨ r) ∧ ¬(¬p → ¬(q ∧ ¬p))
N =
3.Vidutinis
pqr¬q ∨ ¬pr → (¬q ∨ ¬p)(¬q ∨ ¬(p ∧ ¬r)) ∧ (r → (¬q ∨ ¬p))111?110?101?100?011?010?001?000?

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

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

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

¬r → q
  1. 1¬¬r → ¬q
  2. 2¬q → ¬¬r
  3. 3¬r ∧ ¬q
  4. 4q → ¬r
5.Sunkus

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

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

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

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

Atsakymai

  1. 1. N = 2
  2. 2. N = 8
  3. 3. N = 6
  4. 4. ¬q → ¬¬r
  5. 5. N = 6
  6. 6. N = 14

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