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

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

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

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

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

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

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

Kuri formulė yra logiškai ekvivalenti c → a? Spustelėkite ją.

c → a
  1. 1¬c → ¬a
  2. 2¬a ∧ ¬c
  3. 3a → c
  4. 4¬a → ¬c
5.Sunkus

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

((s ↔ q) → (r ∧ s)) ∨ ((q ↔ r) ∨ p)
N =
6.Sunkus
pqp ∨ qp¬q11100100

Argumentas su prielaidomis p ∨ q; p ir išvada ¬q negalioja. Spustelėkite teisingumo lentelės eilutę, kuri yra kontrapavyzdys.

p ∨ qp∴ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0

Atsakymai

  1. 1. N = 8
  2. 2. p = 0, q = 0
  3. 3. N = 7
  4. 4. ¬a → ¬c
  5. 5. N = 14
  6. 6. p = 1, q = 1

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