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
pqr(q → ¬p) ↔ (¬p → ¬r)111?110?101?100?011?010?001?000?

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

(q → ¬p) ↔ (¬p → ¬r)
N =
2.Lengvas
pq¬(¬q ∧ ¬p) ∨ p11100100

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

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

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

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

Norite įrodyti c → (b ∨ a) prieštara. Kurį teiginį darote prielaida pradžioje? Spustelėkite jį.

c → (b ∨ a)
  1. 1c ∧ ¬(b ∨ a)
  2. 2¬c → ¬(b ∨ a)
  3. 3¬c ∧ (b ∨ a)
  4. 4¬c ∧ ¬(b ∨ a)
5.Sunkus

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

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

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

((r → p) ∧ (¬q ∨ s)) → ¬(r → q)
N =

Atsakymai

  1. 1. N = 4
  2. 2. p = 0, q = 0
  3. 3. N = 5
  4. 4. c ∧ ¬(b ∨ a)
  5. 5. N = 9
  6. 6. N = 9

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