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
pq¬((¬p ∨ q) ∧ (p → q))11100100

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

¬((¬p ∨ q) ∧ (p → q))
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
2.Lengvas

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

((a ∨ ¬b) ∧ c) → (a → b)
N =
3.Vidutinis
abcb ∨ ca ↔ (b ∨ c)(b ∨ (c ∨ a)) → (a ↔ (b ∨ c))111?110?101?100?011?010?001?000?

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

(b ∨ (c ∨ a)) → (a ↔ (b ∨ c))
N =
4.Vidutinis
abcb ∨ c¬a → (b ∨ c)¬(a → ¬b) ↔ (¬a → (b ∨ c))111?110?101?100?011?010?001?000?

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

¬(a → ¬b) ↔ (¬a → (b ∨ c))
N =
5.Sunkus
q ∧ pq → p¬q → ¬pp → q

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

q → rr → p
  1. 1q ∧ p
  2. 2q → p
  3. 3¬q → ¬p
  4. 4p → q
6.Sunkus

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

(¬(s ∨ ¬r) ↔ (p ∨ s)) ∨ (¬p ↔ q)
N =

Atsakymai

  1. 1. p = 1, q = 0
  2. 2. N = 8
  3. 3. N = 4
  4. 4. N = 3
  5. 5. q → p
  6. 6. N = 10

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