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

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

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

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

¬(q ∨ ¬p)
N =
3.Vidutinis
¬p ∧ ¬q¬p ∨ ¬qp ∨ ¬q¬p ∧ q

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

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

Ar b ∧ ¬b yra tautologija, prieštara ar kontingencija? Spustelėkite savo atsakymą.

b ∧ ¬b
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
5.Sunkus
∀x (A(x) ∧ ∀y ¬R(x, y))∃x (¬A(x) ∧ ∃y R(x, y))∃x (A(x) → ∀y ¬R(x, y))∃x (A(x) ∧ ∀y ¬R(x, y))

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

¬∀x (A(x) → ∃y R(x, y))
  1. 1∀x (A(x) ∧ ∀y ¬R(x, y))
  2. 2∃x (¬A(x) ∧ ∃y R(x, y))
  3. 3∃x (A(x) → ∀y ¬R(x, y))
  4. 4∃x (A(x) ∧ ∀y ¬R(x, y))
6.Sunkus
∀x ∀y ¬R(x, y)∃y ∀x ¬R(x, y)∀x ∃y ¬R(x, y)∃x ∀y ¬R(x, y)

Kuris teiginys yra ekvivalentus ¬∀x ∃y R(x, y), kai neigimas perkeltas iki pat vidaus? Spustelėkite jį.

¬∀x ∃y R(x, y)
  1. 1∀x ∀y ¬R(x, y)
  2. 2∃y ∀x ¬R(x, y)
  3. 3∀x ∃y ¬R(x, y)
  4. 4∃x ∀y ¬R(x, y)

Atsakymai

  1. 1. N = 5
  2. 2. N = 1
  3. 3. ¬p ∧ ¬q
  4. 4. prieštara
  5. 5. ∃x (A(x) ∧ ∀y ¬R(x, y))
  6. 6. ∃x ∀y ¬R(x, y)

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