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

Užrašyta pilna ((q → r) ∧ r) → (¬p → (q ∨ p)) teisingumo lentelė. Kiek eilučių N yra p = 1 ir r = 0?

((q → r) ∧ r) → (¬p → (q ∨ p))
N =
2.Lengvas
pqr¬(r ∨ ¬p) → (q ∨ r)111?110?101?100?011?010?001?000?

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

¬(r ∨ ¬p) → (q ∨ r)
N =
3.Vidutinis
¬r ∧ ¬p¬p → ¬¬r¬¬r → ¬pp → ¬r

Norite įrodyti ¬r → p kontrapozicija. Kurią implikaciją įrodote vietoj jos? Spustelėkite ją.

¬r → p
  1. 1¬r ∧ ¬p
  2. 2¬p → ¬¬r
  3. 3¬¬r → ¬p
  4. 4p → ¬r
4.Vidutinis
r → p¬p ∧ r¬p ∨ r¬p → ¬r

Kuri formulė yra logiškai ekvivalenti p → r? Spustelėkite ją.

p → r
  1. 1r → p
  2. 2¬p ∧ r
  3. 3¬p ∨ r
  4. 4¬p → ¬r
5.Sunkus
∀x ∃y ¬R(x, y)∀x ∀y ¬R(x, y)∃x ∀y ¬R(x, y)∃y ∀x ¬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∀x ∀y ¬R(x, y)
  3. 3∃x ∀y ¬R(x, y)
  4. 4∃y ∀x ¬R(x, y)
6.Sunkus
q¬p¬p ∧ qp

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

p → q¬q
  1. 1q
  2. 2¬p
  3. 3¬p ∧ q
  4. 4p

Atsakymai

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

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