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ų lapas Praktikuokitė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žpildykite teisingumo lentelę (1 = teisinga, 0 = klaidinga). Kiek eilučių N yra teisinga p → q?

p → q

N =

2.Lengvas

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

a ∨ (b ↔ a)

N =

3.Vidutinis

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

r ∨ (p ∧ q)

1r ∧ (p ∨ q)
2(r ∨ p) ∧ q
3(r ∨ p) ∧ (r ∨ q)
4(r ∧ p) ∨ (r ∧ q)

4.Vidutinis

Norite įrodyti r → (q ∨ p) prieštara. Kurį teiginį darote prielaida pradžioje? Spustelėkite jį.

r → (q ∨ p)

1¬r ∧ (q ∨ p)
2¬r ∧ ¬(q ∨ p)
3r ∧ ¬(q ∨ p)
4¬r → ¬(q ∨ p)

5.Sunkus

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

¬∀x (P(x) → ∃y R(x, y))

1∃x (P(x) ∧ ∀y ¬R(x, y))
2∃x (P(x) → ∀y ¬R(x, y))
3∃x (¬P(x) ∧ ∃y R(x, y))
4∀x (P(x) ∧ ∀y ¬R(x, y))

6.Sunkus

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

r ∨ p¬r

1r ∧ p
2¬p
3p
4r

Atsakymai

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

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