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

Lygiai viena teisingumo lentelės eilutė daro p → q klaidingą. Spustelėkite tą eilutę.

p → q

1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0

2.Lengvas

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

Norite įrodyti (b ∨ c) → a prieštara. Kurį teiginį darote prielaida pradžioje? Spustelėkite jį.

(b ∨ c) → a

1¬(b ∨ c) ∧ ¬a
2¬(b ∨ c) → ¬a
3(b ∨ c) ∧ ¬a
4¬(b ∨ c) ∧ a

4.Vidutinis

Kuri formulė yra logiškai ekvivalenti r ↔ q? Spustelėkite ją.

r ↔ q

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

5.Sunkus

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

¬∀x (A(x) → B(x))

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

6.Sunkus

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

¬∀x ∃y R(x, y)

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

Atsakymai

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

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