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

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

¬(¬(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
ab(¬b ∧ a) → (b ∧ a)11?10?01?00?

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

(¬b ∧ a) → (b ∧ a)
N =
3.Vidutinis
tautologijaprieštarakontingencija

Ar (c ∧ b) → c yra tautologija, prieštara ar kontingencija? Spustelėkite savo atsakymą.

(c ∧ b) → c
  1. 1tautologija
  2. 2prieštara
  3. 3kontingencija
4.Vidutinis
(q ∨ r) ∧ pq ∧ (r ∨ p)(q ∧ r) ∨ (q ∧ p)(q ∨ r) ∧ (q ∨ p)

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

q ∨ (r ∧ p)
  1. 1(q ∨ r) ∧ p
  2. 2q ∧ (r ∨ p)
  3. 3(q ∧ r) ∨ (q ∧ p)
  4. 4(q ∨ r) ∧ (q ∨ p)
5.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)
6.Sunkus
q ∧ rr → q¬q → ¬rq → r

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

q → pp → r
  1. 1q ∧ r
  2. 2r → q
  3. 3¬q → ¬r
  4. 4q → r

Atsakymai

  1. 1. p = 1, q = 0
  2. 2. N = 3
  3. 3. tautologija
  4. 4. (q ∨ r) ∧ (q ∨ p)
  5. 5. ∃x ∀y ¬R(x, y)
  6. 6. q → r

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