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 (q ∧ ¬r) ∨ ¬(¬q ∨ p) teisingumo lentelė?

(q ∧ ¬r) ∨ ¬(¬q ∨ p)
N =
2.Lengvas
pq¬q → p11?10?01?00?

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

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

Kuri formulė yra logiškai ekvivalenti a ∨ (b ∧ c)? Spustelėkite ją.

a ∨ (b ∧ c)
  1. 1(a ∨ b) ∧ (a ∨ c)
  2. 2(a ∨ b) ∧ c
  3. 3a ∧ (b ∨ c)
  4. 4(a ∧ b) ∨ (a ∧ c)
4.Vidutinis
¬p ∧ ¬qp ∨ ¬q¬p ∨ ¬q¬p ∧ q

Kuri formulė yra logiškai ekvivalenti ¬(p ∨ q)? Spustelėkite ją.

¬(p ∨ q)
  1. 1¬p ∧ ¬q
  2. 2p ∨ ¬q
  3. 3¬p ∨ ¬q
  4. 4¬p ∧ q
5.Sunkus
pqrp → (r ∨ q)pr111110101100011010001000

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

p → (r ∨ q)p∴ r
  1. 1p = 1, q = 1, r = 1
  2. 2p = 1, q = 1, r = 0
  3. 3p = 1, q = 0, r = 1
  4. 4p = 1, q = 0, r = 0
  5. 5p = 0, q = 1, r = 1
  6. 6p = 0, q = 1, r = 0
  7. 7p = 0, q = 0, r = 1
  8. 8p = 0, q = 0, r = 0
6.Sunkus
∃x (¬A(x) ∨ ¬B(x))∀x (¬A(x) ∨ ¬B(x))∃x (¬A(x) ∧ ¬B(x))∀x (¬A(x) ∧ ¬B(x))

Kuris teiginys yra ekvivalentus ¬∀x (A(x) ∨ B(x)), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∀x (A(x) ∨ B(x))
  1. 1∃x (¬A(x) ∨ ¬B(x))
  2. 2∀x (¬A(x) ∨ ¬B(x))
  3. 3∃x (¬A(x) ∧ ¬B(x))
  4. 4∀x (¬A(x) ∧ ¬B(x))

Atsakymai

  1. 1. N = 8
  2. 2. N = 3
  3. 3. (a ∨ b) ∧ (a ∨ c)
  4. 4. ¬p ∧ ¬q
  5. 5. p = 1, q = 1, r = 0
  6. 6. ∃x (¬A(x) ∧ ¬B(x))

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