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

Kiek eilučių N turi pilna (a → c) ∨ ((c ∧ b) ∨ b) teisingumo lentelė?

(a → c) ∨ ((c ∧ b) ∨ b)
N =
2.Lengvas

Kiek eilučių N turi pilna ¬((¬a → b) ∧ ((¬c ↔ b) ∨ ¬a)) teisingumo lentelė?

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

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

(r ∨ p) → q
  1. 1¬q → ¬(r ∨ p)
  2. 2¬(r ∨ p) → ¬q
  3. 3q → (r ∨ p)
  4. 4(r ∨ p) ∧ ¬q
4.Vidutinis
tautologijaprieštarakontingencija

Ar ¬(q ∨ ¬q) yra tautologija, prieštara ar kontingencija? Spustelėkite savo atsakymą.

¬(q ∨ ¬q)
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
5.Sunkus

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

(¬(p ↔ s) ∧ p) ∧ ((s → q) ∨ (¬r ∧ q))
N =
6.Sunkus
¬r ∧ pp¬rr

Duotos prielaidos r → p; ¬p. Kokia išvada iš jų išplaukia? Spustelėkite ją.

r → p¬p
  1. 1¬r ∧ p
  2. 2p
  3. 3¬r
  4. 4r

Atsakymai

  1. 1. N = 8
  2. 2. N = 8
  3. 3. ¬q → ¬(r ∨ p)
  4. 4. prieštara
  5. 5. N = 4
  6. 6. ¬r

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